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 (15179 MiB free)
memory of node 1: 16384 MiB (14447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395202-1568347180/watcher-4395202-1568347180 -o /tmp/evaluation-result-4395202-1568347180/solver-4395202-1568347180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4395202-1568347180.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
solver pid=25032, runsolver pid=25029
Current StackSize limit: 8192 KiB
[startup+0.100203 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=30314896/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=21192 CPUtime=0.1 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 1933 0 0 0 10 0 0 0 20 0 1 0 410980692 2080477184 5298 33554432000 4194304 5870510 140726893287440 140726893284584 4761710 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 5298 855 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21192 KiB
[startup+0.209678 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=30304656/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=27336 CPUtime=0.21 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 1936 0 0 0 21 0 0 0 20 0 1 0 410980692 2080477184 6834 33554432000 4194304 5870510 140726893287440 140726893284584 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 6834 855 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27336 KiB
[startup+0.309622 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=30292368/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=33716 CPUtime=0.31 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 1939 0 0 0 31 0 0 0 20 0 1 0 410980692 2080477184 8429 33554432000 4194304 5870510 140726893287440 140726893284584 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 8429 873 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33716 KiB
[startup+0.700376 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=30269840/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=56244 CPUtime=0.69 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 1950 0 0 0 68 1 0 0 20 0 1 0 410980692 2080477184 14061 33554432000 4194304 5870510 140726893287440 140726893284584 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 14061 873 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 56244 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=30230060/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=101300 CPUtime=1.49 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 1972 0 0 0 148 1 0 0 20 0 1 0 410980692 2080477184 25325 33554432000 4194304 5870510 140726893287440 140726893286744 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 25325 873 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 101300 KiB
[startup+3.10971 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25033
/proc/meminfo: memFree=29616840/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=193460 CPUtime=3.1 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 2159 0 0 0 307 3 0 0 20 0 1 0 410980692 2080477184 48365 33554432000 4194304 5870510 140726893287440 140726893286744 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 48365 873 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 193460 KiB
[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 25033
/proc/meminfo: memFree=28673164/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=373684 CPUtime=6.29 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 2419 0 0 0 623 6 0 0 20 0 1 0 410980692 2080477184 93421 33554432000 4194304 5870510 140726893287440 140726893286744 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 93421 873 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 373684 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 25033
/proc/meminfo: memFree=28092536/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=2031716 memory=738228 CPUtime=12.69 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 2698 0 0 0 1256 13 0 0 20 0 1 0 410980692 2080477184 184557 33554432000 4194304 5870510 140726893287440 140726893286744 140007055186944 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 507929 184557 873 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 738228 KiB
[startup+25.5005 s]
/proc/loadavg: 1.95 2.00 2.04 3/199 25033
/proc/meminfo: memFree=26261884/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=3163352 memory=2690296 CPUtime=25.48 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 7184 0 0 0 2503 45 0 0 20 0 1 0 410980692 3239272448 672574 33554432000 4194304 5870510 140726893287440 140726893286760 4793953 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 790838 672574 912 410 0 786311 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3163352 KiB
Current children cumulated memory: 2690296 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.00 2.04 3/199 25035
/proc/meminfo: memFree=25340436/32770624 swapFree=66980164/67108860
[pid=25032] ppid=25029 vsize=3715352 memory=3317888 CPUtime=51.1 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 85105 0 0 0 5046 64 0 0 20 0 1 0 410980692 3804520448 829472 33554432000 4194304 5870510 140726893287440 140726893286616 5494738 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 928838 829472 987 410 0 924311 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3715352 KiB
Current children cumulated memory: 3317888 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 25047
/proc/meminfo: memFree=25471036/32770624 swapFree=66980176/67108860
[pid=25032] ppid=25029 vsize=3722768 memory=3329304 CPUtime=102.28 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 125966 0 0 0 10157 71 0 0 20 0 1 0 410980692 3812114432 832326 33554432000 4194304 5870510 140726893287440 140726893285944 5261279 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 930692 832326 995 410 0 926165 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3722768 KiB
Current children cumulated memory: 3329304 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/201 25074
/proc/meminfo: memFree=25335700/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3723312 memory=3329932 CPUtime=162.28 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 141779 0 0 0 16155 73 0 0 20 0 1 0 410980692 3812671488 832483 33554432000 4194304 5870510 140726893287440 140726893285832 5261290 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 930828 832483 995 410 0 926301 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3723312 KiB
Current children cumulated memory: 3329932 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 25080
/proc/meminfo: memFree=25316072/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3724336 memory=3330896 CPUtime=222.27 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 164524 0 0 0 22152 75 0 0 20 0 1 0 410980692 3813720064 832724 33554432000 4194304 5870510 140726893287440 140726893285832 5261297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931084 832724 995 410 0 926557 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 3724336 KiB
Current children cumulated memory: 3330896 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 25084
/proc/meminfo: memFree=25202708/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3725196 memory=3331812 CPUtime=282.27 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 187145 0 0 0 28150 77 0 0 20 0 1 0 410980692 3814600704 832953 33554432000 4194304 5870510 140726893287440 140726893285768 5261279 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931299 832953 995 410 0 926772 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 3725196 KiB
Current children cumulated memory: 3331812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 25088
/proc/meminfo: memFree=25787712/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3726356 memory=3332880 CPUtime=342.27 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 204711 0 0 0 34148 79 0 0 20 0 1 0 410980692 3815788544 833220 33554432000 4194304 5870510 140726893287440 140726893285768 5261287 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931589 833220 995 410 0 927062 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 3726356 KiB
Current children cumulated memory: 3332880 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/200 25094
/proc/meminfo: memFree=23348280/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3727284 memory=3333948 CPUtime=402.26 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 227082 0 0 0 40145 81 0 0 20 0 1 0 410980692 3816738816 833487 33554432000 4194304 5870510 140726893287440 140726893285768 5261200 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931821 833487 995 410 0 927294 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 3727284 KiB
Current children cumulated memory: 3333948 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/199 25098
/proc/meminfo: memFree=20000048/32770624 swapFree=66980184/67108860
[pid=25032] ppid=25029 vsize=3728772 memory=3335824 CPUtime=462.25 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 242659 0 0 0 46141 84 0 0 20 0 1 0 410980692 3818262528 833956 33554432000 4194304 5870510 140726893287440 140726893285832 5257517 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 932193 833956 995 410 0 927666 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 3728772 KiB
Current children cumulated memory: 3335824 KiB
################
# More data... #
################
/proc/25032/statm: 933281 837949 1017 410 0 928754 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 3733124 KiB
Current children cumulated memory: 3351796 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25218
/proc/meminfo: memFree=19979876/32770624 swapFree=66980204/67108860
[pid=25032] ppid=25029 vsize=3734040 memory=3352940 CPUtime=1782.18 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 359732 0 0 0 178103 115 0 0 20 0 1 0 410980692 3823656960 838235 33554432000 4194304 5870510 140726893287440 140726893285768 5261290 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 933510 838235 1017 410 0 928983 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 3734040 KiB
Current children cumulated memory: 3352940 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25224
/proc/meminfo: memFree=19979008/32770624 swapFree=66980204/67108860
[pid=25032] ppid=25029 vsize=3735184 memory=3354004 CPUtime=1842.18 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 363702 0 0 0 184102 116 0 0 20 0 1 0 410980692 3824828416 838501 33554432000 4194304 5870510 140726893287440 140726893285768 5261297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 933796 838501 1017 410 0 929269 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 3735184 KiB
Current children cumulated memory: 3354004 KiB
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 25236
/proc/meminfo: memFree=19976136/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3736364 memory=3355260 CPUtime=1902.17 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 368053 0 0 0 190100 117 0 0 20 0 1 0 410980692 3826036736 838815 33554432000 4194304 5870510 140726893287440 140726893285768 5321600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 934091 838815 1017 410 0 929564 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 3736364 KiB
Current children cumulated memory: 3355260 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 25240
/proc/meminfo: memFree=19974144/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3738796 memory=3357116 CPUtime=1962.18 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 372117 0 0 0 196100 118 0 0 20 0 1 0 410980692 3828527104 839279 33554432000 4194304 5870510 140726893287440 140726893285832 5261210 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 934699 839279 1017 410 0 930172 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 3738796 KiB
Current children cumulated memory: 3357116 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 25246
/proc/meminfo: memFree=19973400/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3739380 memory=3357808 CPUtime=2022.17 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 375051 0 0 0 202099 118 0 0 20 0 1 0 410980692 3829125120 839452 33554432000 4194304 5870510 140726893287440 140726893285768 5261272 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 934845 839452 1017 410 0 930318 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 3739380 KiB
Current children cumulated memory: 3357808 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25250
/proc/meminfo: memFree=19972400/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3740440 memory=3359032 CPUtime=2082.17 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 377963 0 0 0 208098 119 0 0 20 0 1 0 410980692 3830210560 839758 33554432000 4194304 5870510 140726893287440 140726893285768 5261287 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 935110 839758 1017 410 0 930583 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 3740440 KiB
Current children cumulated memory: 3359032 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25254
/proc/meminfo: memFree=20145968/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3543040 memory=3185364 CPUtime=2142.17 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 422679 0 0 0 214087 130 0 0 20 0 1 0 410980692 3628072960 796341 33554432000 4194304 5870510 140726893287440 140726893286696 140007054741534 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 885760 796341 1018 410 0 881233 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 3543040 KiB
Current children cumulated memory: 3185364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25260
/proc/meminfo: memFree=19989196/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3722776 memory=3341668 CPUtime=2202.16 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 439834 0 0 0 220075 141 0 0 20 0 1 0 410980692 3812122624 835417 33554432000 4194304 5870510 140726893287440 140726893285944 5261290 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 930694 835417 1018 410 0 926167 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 3722776 KiB
Current children cumulated memory: 3341668 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25264
/proc/meminfo: memFree=19988636/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3723324 memory=3342288 CPUtime=2262.15 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 445444 0 0 0 226074 141 0 0 20 0 1 0 410980692 3812683776 835572 33554432000 4194304 5870510 140726893287440 140726893285832 5261290 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 930831 835572 1018 410 0 926304 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 3723324 KiB
Current children cumulated memory: 3342288 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25268
/proc/meminfo: memFree=19987172/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3724348 memory=3343276 CPUtime=2322.15 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 452433 0 0 0 232072 143 0 0 20 0 1 0 410980692 3813732352 835819 33554432000 4194304 5870510 140726893287440 140726893285832 5261279 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931087 835819 1018 410 0 926560 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 3724348 KiB
Current children cumulated memory: 3343276 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 25274
/proc/meminfo: memFree=19986700/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3725208 memory=3344200 CPUtime=2382.15 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 458061 0 0 0 238071 144 0 0 20 0 1 0 410980692 3814612992 836050 33554432000 4194304 5870510 140726893287440 140726893285768 5321686 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931302 836050 1018 410 0 926775 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 3725208 KiB
Current children cumulated memory: 3344200 KiB
[startup+2442.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/199 25278
/proc/meminfo: memFree=19985196/32770624 swapFree=66980216/67108860
[pid=25032] ppid=25029 vsize=3726360 memory=3345240 CPUtime=2442.14 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 463976 0 0 0 244069 145 0 0 20 0 1 0 410980692 3815792640 836310 33554432000 4194304 5870510 140726893287440 140726893285768 5261287 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931590 836310 1018 410 0 927063 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 3726360 KiB
Current children cumulated memory: 3345240 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 2.02 2.04 2/192 25335
/proc/meminfo: memFree=28263276/32770624 swapFree=66980228/67108860
[pid=25032] ppid=25029 vsize=3727280 memory=3346344 CPUtime=2502.14 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 469666 0 0 0 250067 147 0 0 20 0 1 0 410980692 3816734720 836586 33554432000 4194304 5870510 140726893287440 140726893285768 5321611 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 931820 836586 1018 410 0 927293 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 3727280 KiB
Current children cumulated memory: 3346344 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.74 1.97 2.02 2/192 25337
/proc/meminfo: memFree=28262028/32770624 swapFree=66980228/67108860
[pid=25032] ppid=25029 vsize=3728772 memory=3347408 CPUtime=2519.85 cores=0,2,4,6
/proc/25032/stat : 25032 (xcsp_picat) R 25029 25032 18664 0 -1 4202496 471806 0 0 0 251838 147 0 0 20 0 1 0 410980692 3818262528 836852 33554432000 4194304 5870510 140726893287440 140726893285832 5261272 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 44417024 140726893290527 140726893290605 140726893290605 140726893293514 0
/proc/25032/statm: 932193 836852 1018 410 0 927666 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 3728772 KiB
Current children cumulated memory: 3347408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 25032 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.38 s, system=1.49992 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.03
CPU time (s): 2519.88
CPU user time (s): 2518.38
CPU system time (s): 1.49992
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 3955556
Max. memory (cumulated for all children) (KiB): 3494324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.38
system time used= 1.49992
maximum resident set size= 3494324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471806
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= 27
involuntary context switches= 3159
# summary of solver processes directly reported to runsolver:
# pid: 25032
# total CPU time (s): 2519.88
# total CPU user time (s): 2518.38
# total CPU system time (s): 1.49992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98937 second user time and 19.8336 second system time
The end