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 (6329 MiB free)
memory of node 1: 16384 MiB (5486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303034-1534023637/watcher-4303034-1534023637 -o /tmp/evaluation-result-4303034-1534023637/solver-4303034-1534023637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303034-1534023637.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=13729, runsolver pid=13726
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=12075044/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=29552 CPUtime=0.1 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 1931 0 0 0 10 0 0 0 20 0 1 0 219926937 2082365440 7388 33554432000 4194304 5849708 140733252134512 140733252133512 4503321 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 7388 618 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 29552 KiB
[startup+0.209788 s]*
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=12056364/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=47984 CPUtime=0.21 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 1961 0 0 0 21 0 0 0 20 0 1 0 219926937 2082365440 11996 33554432000 4194304 5849708 140733252134512 140733252133512 4932692 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 11996 618 405 0 505335 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 47984 KiB
[startup+0.309751 s]*
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=12039980/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=64368 CPUtime=0.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 1969 0 0 0 30 1 0 0 20 0 1 0 219926937 2082365440 16092 33554432000 4194304 5849708 140733252134512 140733252133512 4550314 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 16092 618 405 0 505335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 64368 KiB
[startup+0.700383 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=12004752/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=130060 CPUtime=0.7 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 2001 0 0 0 68 2 0 0 20 0 1 0 219926937 2082365440 32515 33554432000 4194304 5849708 140733252134512 140733252133512 4488943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 32515 629 405 0 505335 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 130060 KiB
[startup+1.50038 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=11920536/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=267276 CPUtime=1.49 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 2068 0 0 0 146 3 0 0 20 0 1 0 219926937 2082365440 66819 33554432000 4194304 5849708 140733252134512 140733252133512 4583908 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 66819 629 405 0 505335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 267276 KiB
[startup+3.10973 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 13730
/proc/meminfo: memFree=11668004/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2033560 memory=502864 CPUtime=3.1 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 2945 0 0 0 303 7 0 0 20 0 1 0 219926937 2082365440 125716 33554432000 4194304 5849708 140733252134512 140733252133816 4992619 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 508390 125716 644 405 0 505335 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 502864 KiB
[startup+6.30035 s]
/proc/loadavg: 2.08 2.08 2.07 3/188 13730
/proc/meminfo: memFree=11382116/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2261684 memory=774408 CPUtime=6.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 8095 0 0 0 575 54 0 0 20 0 1 0 219926937 2315964416 193602 33554432000 4194304 5849708 140733252134512 140733252133816 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 565421 193602 709 405 0 562366 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2261684 KiB
Current children cumulated memory: 774408 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.08 2.07 3/188 13730
/proc/meminfo: memFree=11365144/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2278068 memory=790960 CPUtime=12.69 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 9914 0 0 0 1171 98 0 0 20 0 1 0 219926937 2332741632 197740 33554432000 4194304 5849708 140733252134512 140733252133608 5606238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 569517 197740 726 405 0 566462 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2278068 KiB
Current children cumulated memory: 790960 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.08 2.07 3/188 13730
/proc/meminfo: memFree=11193660/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2449480 memory=962408 CPUtime=25.49 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 19771 0 0 0 2437 112 0 0 20 0 1 0 219926937 2508267520 240602 33554432000 4194304 5849708 140733252134512 140733252133000 4212051 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 612370 240602 751 405 0 609315 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2449480 KiB
Current children cumulated memory: 962408 KiB
[startup+51.1091 s]
/proc/loadavg: 2.04 2.07 2.07 3/188 13730
/proc/meminfo: memFree=11323352/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2287284 memory=800424 CPUtime=51.1 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 40786 0 0 0 4904 206 0 0 20 0 1 0 219926937 2342178816 200106 33554432000 4194304 5849708 140733252134512 140733252133608 5606235 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 571821 200106 768 405 0 568766 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2287284 KiB
Current children cumulated memory: 800424 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/188 13731
/proc/meminfo: memFree=11125456/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2452184 memory=965252 CPUtime=102.3 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 66706 0 0 0 10001 229 0 0 20 0 1 0 219926937 2511036416 241313 33554432000 4194304 5849708 140733252134512 140733252133512 5302798 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 613046 241313 768 405 0 609991 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2452184 KiB
Current children cumulated memory: 965252 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/188 13732
/proc/meminfo: memFree=11145440/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2464440 memory=977508 CPUtime=162.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 103686 0 0 0 15984 245 0 0 20 0 1 0 219926937 2523586560 244377 33554432000 4194304 5849708 140733252134512 140733252133384 4208611 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 616110 244377 768 405 0 613055 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2464440 KiB
Current children cumulated memory: 977508 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 13733
/proc/meminfo: memFree=11136256/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2474004 memory=986832 CPUtime=222.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 127553 0 0 0 21969 260 0 0 20 0 1 0 219926937 2533380096 246708 33554432000 4194304 5849708 140733252134512 140733252133160 5353829 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 618501 246708 768 405 0 615446 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2474004 KiB
Current children cumulated memory: 986832 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 13734
/proc/meminfo: memFree=11322976/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2478448 memory=991516 CPUtime=282.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 165052 0 0 0 27950 279 0 0 20 0 1 0 219926937 2537930752 247879 33554432000 4194304 5849708 140733252134512 140733252133000 5307573 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 619612 247879 768 405 0 616557 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2478448 KiB
Current children cumulated memory: 991516 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13735
/proc/meminfo: memFree=11299660/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2450216 memory=963412 CPUtime=342.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 207717 0 0 0 33927 302 0 0 20 0 1 0 219926937 2509021184 240853 33554432000 4194304 5849708 140733252134512 140733252133000 4213556 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 612554 240853 768 405 0 609499 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2450216 KiB
Current children cumulated memory: 963412 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13736
/proc/meminfo: memFree=11246484/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2479956 memory=993024 CPUtime=402.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 242752 0 0 0 39904 325 0 0 20 0 1 0 219926937 2539474944 248256 33554432000 4194304 5849708 140733252134512 140733252133512 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 619989 248256 768 405 0 616934 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2479956 KiB
Current children cumulated memory: 993024 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 13797
/proc/meminfo: memFree=11292532/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2479956 memory=994688 CPUtime=462.29 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 284365 0 0 0 45881 348 0 0 20 0 1 0 219926937 2539474944 248672 33554432000 4194304 5849708 140733252134512 140733252133672 5437835 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 619989 248672 768 405 0 616934 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2479956 KiB
Current children cumulated memory: 994688 KiB
################
# More data... #
################
/proc/13729/statm: 650541 280524 768 405 0 647486 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2602164 KiB
Current children cumulated memory: 1122096 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13882
/proc/meminfo: memFree=11018124/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2602164 memory=1122096 CPUtime=1782.3 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 487712 0 0 0 177376 854 0 0 20 0 1 0 219926937 2664615936 280524 33554432000 4194304 5849708 140733252134512 140733252132904 5312879 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 650541 280524 768 405 0 647486 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2602164 KiB
Current children cumulated memory: 1122096 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13883
/proc/meminfo: memFree=11018904/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2602164 memory=1122096 CPUtime=1842.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 494073 0 0 0 183346 885 0 0 20 0 1 0 219926937 2664615936 280524 33554432000 4194304 5849708 140733252134512 140733252133512 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 650541 280524 768 405 0 647486 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2602164 KiB
Current children cumulated memory: 1122096 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13884
/proc/meminfo: memFree=11003204/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2615160 memory=1135096 CPUtime=1902.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 507031 0 0 0 189322 909 0 0 20 0 1 0 219926937 2677923840 283774 33554432000 4194304 5849708 140733252134512 140733252133384 4233506 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 653790 283774 768 405 0 650735 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2615160 KiB
Current children cumulated memory: 1135096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13885
/proc/meminfo: memFree=10916156/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2700068 memory=1219748 CPUtime=1962.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 530023 0 0 0 195291 940 0 0 20 0 1 0 219926937 2764869632 304937 33554432000 4194304 5849708 140733252134512 140733252133384 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 675017 304937 768 405 0 671962 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2700068 KiB
Current children cumulated memory: 1219748 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13886
/proc/meminfo: memFree=10972292/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2684588 memory=1204524 CPUtime=2022.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 554510 0 0 0 201267 964 0 0 20 0 1 0 219926937 2749018112 301131 33554432000 4194304 5849708 140733252134512 140733252133512 5438212 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 671147 301131 768 405 0 668092 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2684588 KiB
Current children cumulated memory: 1204524 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13887
/proc/meminfo: memFree=11033076/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2600332 memory=1120396 CPUtime=2082.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 569653 0 0 0 207244 987 0 0 20 0 1 0 219926937 2662739968 280099 33554432000 4194304 5849708 140733252134512 140733252133672 5307709 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 650083 280099 768 405 0 647028 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2600332 KiB
Current children cumulated memory: 1120396 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13888
/proc/meminfo: memFree=10955184/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2624644 memory=1144580 CPUtime=2142.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 578749 0 0 0 213223 1008 0 0 20 0 1 0 219926937 2687635456 286145 33554432000 4194304 5849708 140733252134512 140733252133512 5313262 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 656161 286145 768 405 0 653106 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2624644 KiB
Current children cumulated memory: 1144580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13889
/proc/meminfo: memFree=10955544/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2624644 memory=1144580 CPUtime=2202.31 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 586970 0 0 0 219199 1032 0 0 20 0 1 0 219926937 2687635456 286145 33554432000 4194304 5849708 140733252134512 140733252133512 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 656161 286145 768 405 0 653106 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2624644 KiB
Current children cumulated memory: 1144580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13890
/proc/meminfo: memFree=10857108/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2683576 memory=1203512 CPUtime=2262.32 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 595592 0 0 0 225177 1055 0 0 20 0 1 0 219926937 2747981824 300878 33554432000 4194304 5849708 140733252134512 140733252133512 139824835628935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 670894 300878 768 405 0 667839 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2683576 KiB
Current children cumulated memory: 1203512 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13891
/proc/meminfo: memFree=10936396/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2604776 memory=1124840 CPUtime=2322.32 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 603319 0 0 0 231155 1077 0 0 20 0 1 0 219926937 2667290624 281210 33554432000 4194304 5849708 140733252134512 140733252133512 5339871 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 651194 281210 768 405 0 648139 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2604776 KiB
Current children cumulated memory: 1124840 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13900
/proc/meminfo: memFree=10871680/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2619060 memory=1139072 CPUtime=2382.32 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 615423 0 0 0 237135 1097 0 0 20 0 1 0 219926937 2681917440 284768 33554432000 4194304 5849708 140733252134512 140733252133384 5437824 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 654765 284768 768 405 0 651710 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2619060 KiB
Current children cumulated memory: 1139072 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13901
/proc/meminfo: memFree=10888312/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2656828 memory=1176548 CPUtime=2442.32 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 634713 0 0 0 243111 1121 0 0 20 0 1 0 219926937 2720591872 294137 33554432000 4194304 5849708 140733252134512 140733252133384 5312883 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 664207 294137 768 405 0 661152 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2656828 KiB
Current children cumulated memory: 1176548 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13902
/proc/meminfo: memFree=10885516/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2659892 memory=1179828 CPUtime=2502.32 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 650274 0 0 0 249089 1143 0 0 20 0 1 0 219926937 2723729408 294957 33554432000 4194304 5849708 140733252134512 140733252133512 5312821 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 664973 294957 768 405 0 661918 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2659892 KiB
Current children cumulated memory: 1179828 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 13903
/proc/meminfo: memFree=10869204/32770624 swapFree=67108496/67108860
[pid=13729] ppid=13726 vsize=2675932 memory=1195868 CPUtime=2520.02 cores=1,3,5,7
/proc/13729/stat : 13729 (xcsp_picat) R 13726 13729 10084 0 -1 4202496 652620 0 0 0 250852 1150 0 0 20 0 1 0 219926937 2740154368 298967 33554432000 4194304 5849708 140733252134512 140733252133384 5397450 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 33050624 140733252138166 140733252138244 140733252138244 140733252141002 0
/proc/13729/statm: 668983 298967 768 405 0 665928 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2675932 KiB
Current children cumulated memory: 1195868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.53 s, system=11.5162 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): 2520.04
CPU user time (s): 2508.53
CPU system time (s): 11.5162
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2809660
Max. memory (cumulated for all children) (KiB): 1329596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.53
system time used= 11.5161
maximum resident set size= 1329596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652620
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= 20
involuntary context switches= 925
# summary of solver processes directly reported to runsolver:
# pid: 13729
# total CPU time (s): 2520.04
# total CPU user time (s): 2508.53
# total CPU system time (s): 11.5162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52045 second user time and 18.9098 second system time
The end