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 (13583 MiB free)
memory of node 1: 16384 MiB (10534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309467-1534293639/watcher-4309467-1534293639 -o /tmp/evaluation-result-4309467-1534293639/solver-4309467-1534293639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21936 --watchdog 2580 xcsp_picat HOME/instance-4309467-1534293639.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=21967, runsolver pid=21960
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 1.08 1.36 1.41 4/188 21968
/proc/meminfo: memFree=24636152/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2033560 memory=33836 CPUtime=0.1 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 1492 0 0 0 10 0 0 0 20 0 1 0 246927073 2082365440 8459 33554432000 4194304 5849940 140733628800848 140733628800848 140291786206208 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 508390 8459 627 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 33836 KiB
[startup+0.209542 s]*
/proc/loadavg: 1.08 1.36 1.41 4/188 21968
/proc/meminfo: memFree=24604680/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2033560 memory=46880 CPUtime=0.2 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 1669 0 0 0 20 0 0 0 20 0 1 0 246927073 2082365440 11720 33554432000 4194304 5849940 140733628800848 140733628800848 4538439 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 508390 11720 643 405 0 505334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 46880 KiB
[startup+0.309402 s]*
/proc/loadavg: 1.08 1.36 1.41 4/188 21968
/proc/meminfo: memFree=24573216/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2033560 memory=68100 CPUtime=0.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 1876 0 0 0 30 1 0 0 20 0 1 0 246927073 2082365440 17025 33554432000 4194304 5849940 140733628800848 140733628800848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 508390 17025 686 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 68100 KiB
[startup+0.700341 s]
/proc/loadavg: 1.08 1.36 1.41 4/188 21968
/proc/meminfo: memFree=24547896/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2033988 memory=68776 CPUtime=0.69 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 2013 0 0 0 67 2 0 0 20 0 1 0 246927073 2082803712 17194 33554432000 4194304 5849940 140733628800848 140733628800848 5605652 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 508497 17194 735 405 0 505441 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033988 KiB
Current children cumulated memory: 68776 KiB
[startup+1.50035 s]
/proc/loadavg: 1.08 1.36 1.41 5/188 21968
/proc/meminfo: memFree=24498460/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2041424 memory=76056 CPUtime=1.49 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 3890 0 0 0 142 7 0 0 20 0 1 0 246927073 2090418176 19014 33554432000 4194304 5849940 140733628800848 140733628800088 5478287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 510356 19014 735 405 0 507300 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 76056 KiB
[startup+3.10912 s]
/proc/loadavg: 1.08 1.36 1.41 4/188 21968
/proc/meminfo: memFree=24477556/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2041424 memory=76276 CPUtime=3.1 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 4256 0 0 0 301 9 0 0 20 0 1 0 246927073 2090418176 19069 33554432000 4194304 5849940 140733628800848 140733628800088 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 510356 19069 735 405 0 507300 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 76276 KiB
[startup+6.30041 s]
/proc/loadavg: 1.16 1.37 1.41 4/188 21968
/proc/meminfo: memFree=24468504/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2049648 memory=84448 CPUtime=6.29 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 15803 0 0 0 616 13 0 0 20 0 1 0 246927073 2098839552 21112 33554432000 4194304 5849940 140733628800848 140733628799496 5317752 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 512412 21112 754 405 0 509356 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2049648 KiB
Current children cumulated memory: 84448 KiB
[startup+12.7003 s]
/proc/loadavg: 1.22 1.38 1.41 4/188 21968
/proc/meminfo: memFree=24447732/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2051372 memory=86228 CPUtime=12.69 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 20607 0 0 0 1253 16 0 0 20 0 1 0 246927073 2100604928 21557 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 512843 21557 767 405 0 509787 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2051372 KiB
Current children cumulated memory: 86228 KiB
[startup+25.5004 s]
/proc/loadavg: 1.40 1.41 1.42 4/188 21968
/proc/meminfo: memFree=24437048/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2054316 memory=88580 CPUtime=25.49 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 28100 0 0 0 2519 30 0 0 20 0 1 0 246927073 2103619584 22145 33554432000 4194304 5849940 140733628800848 140733628799848 5438016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 513579 22145 767 405 0 510523 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2054316 KiB
Current children cumulated memory: 88580 KiB
[startup+51.1095 s]
/proc/loadavg: 1.60 1.46 1.44 4/188 21968
/proc/meminfo: memFree=24435336/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2054560 memory=89360 CPUtime=51.1 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 35704 0 0 0 5052 58 0 0 20 0 1 0 246927073 2103869440 22340 33554432000 4194304 5849940 140733628800848 140733628799496 5309072 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 513640 22340 776 405 0 510584 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2054560 KiB
Current children cumulated memory: 89360 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.54 1.47 4/188 21969
/proc/meminfo: memFree=24383072/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2078476 memory=113212 CPUtime=102.29 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 41139 0 0 0 10116 113 0 0 20 0 1 0 246927073 2128359424 28303 33554432000 4194304 5849940 140733628800848 140733628799848 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 519619 28303 776 405 0 516563 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2078476 KiB
Current children cumulated memory: 113212 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.62 1.50 4/188 21970
/proc/meminfo: memFree=24375632/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2078476 memory=113368 CPUtime=162.29 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 45565 0 0 0 16048 181 0 0 20 0 1 0 246927073 2128359424 28342 33554432000 4194304 5849940 140733628800848 140733628800008 5307765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 519619 28342 776 405 0 516563 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2078476 KiB
Current children cumulated memory: 113368 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.69 1.53 4/188 21971
/proc/meminfo: memFree=24360716/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2092456 memory=127232 CPUtime=222.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 52073 0 0 0 21987 243 0 0 20 0 1 0 246927073 2142674944 31808 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 523114 31808 776 405 0 520058 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2092456 KiB
Current children cumulated memory: 127232 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.75 1.56 4/188 21972
/proc/meminfo: memFree=24356600/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2097008 memory=128200 CPUtime=282.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 57856 0 0 0 27922 308 0 0 20 0 1 0 246927073 2147336192 32050 33554432000 4194304 5849940 140733628800848 140733628799848 5392187 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 524252 32050 776 405 0 521196 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2097008 KiB
Current children cumulated memory: 128200 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.79 1.59 4/187 21973
/proc/meminfo: memFree=24355552/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2097008 memory=130988 CPUtime=342.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 69383 0 0 0 33865 365 0 0 20 0 1 0 246927073 2147336192 32747 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 524252 32747 776 405 0 521196 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2097008 KiB
Current children cumulated memory: 130988 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.83 1.61 4/187 21974
/proc/meminfo: memFree=24346400/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2097008 memory=130988 CPUtime=402.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 80713 0 0 0 39812 418 0 0 20 0 1 0 246927073 2147336192 32747 33554432000 4194304 5849940 140733628800848 140733628800008 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 524252 32747 776 405 0 521196 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2097008 KiB
Current children cumulated memory: 130988 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 1.88 1.64 4/187 21975
/proc/meminfo: memFree=24323428/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2113392 memory=147372 CPUtime=462.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 92959 0 0 0 45755 475 0 0 20 0 1 0 246927073 2164113408 36843 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 528348 36843 776 405 0 525292 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2113392 KiB
Current children cumulated memory: 147372 KiB
################
# More data... #
################
/proc/21967/statm: 536028 46079 776 405 0 532972 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2144112 KiB
Current children cumulated memory: 184316 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 1.91 4/188 22041
/proc/meminfo: memFree=24227844/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2144192 memory=184244 CPUtime=1782.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 420320 0 0 0 176591 1640 0 0 20 0 1 0 246927073 2195652608 46061 33554432000 4194304 5849940 140733628800848 140733628799848 5438039 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 536048 46061 776 405 0 532992 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2144192 KiB
Current children cumulated memory: 184244 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 1.92 4/188 22042
/proc/meminfo: memFree=24261444/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2130704 memory=170772 CPUtime=1842.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 427380 0 0 0 182547 1684 0 0 20 0 1 0 246927073 2181840896 42693 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 532676 42693 776 405 0 529620 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2130704 KiB
Current children cumulated memory: 170772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.02 1.93 4/188 22043
/proc/meminfo: memFree=24240808/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2133484 memory=173548 CPUtime=1902.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 441124 0 0 0 188501 1730 0 0 20 0 1 0 246927073 2184687616 43387 33554432000 4194304 5849940 140733628800848 140733628799848 5307853 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 533371 43387 776 405 0 530315 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2133484 KiB
Current children cumulated memory: 173548 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.01 1.94 4/188 22044
/proc/meminfo: memFree=24260232/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2117976 memory=158220 CPUtime=1962.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 451928 0 0 0 194449 1782 0 0 20 0 1 0 246927073 2168807424 39555 33554432000 4194304 5849940 140733628800848 140733628799848 5335812 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 529494 39555 776 405 0 526438 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2117976 KiB
Current children cumulated memory: 158220 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.94 4/188 22045
/proc/meminfo: memFree=24257764/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2115696 memory=155948 CPUtime=2022.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 464280 0 0 0 200403 1827 0 0 20 0 1 0 246927073 2166472704 38987 33554432000 4194304 5849940 140733628800848 140733628799848 5335776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 528924 38987 776 405 0 525868 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 2115696 KiB
Current children cumulated memory: 155948 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22046
/proc/meminfo: memFree=24257876/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2133532 memory=173668 CPUtime=2082.3 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 471358 0 0 0 206365 1865 0 0 20 0 1 0 246927073 2184736768 43417 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 533383 43417 776 405 0 530327 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2133532 KiB
Current children cumulated memory: 173668 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22047
/proc/meminfo: memFree=24214540/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2134484 memory=174708 CPUtime=2142.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 483825 0 0 0 212324 1907 0 0 20 0 1 0 246927073 2185711616 43677 33554432000 4194304 5849940 140733628800848 140733628800008 5438543 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 533621 43677 776 405 0 530565 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2134484 KiB
Current children cumulated memory: 174708 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22048
/proc/meminfo: memFree=24249504/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2126956 memory=167100 CPUtime=2202.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 492155 0 0 0 218280 1951 0 0 20 0 1 0 246927073 2178002944 41775 33554432000 4194304 5849940 140733628800848 140733628799848 5437815 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 531739 41775 776 405 0 528683 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2126956 KiB
Current children cumulated memory: 167100 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22049
/proc/meminfo: memFree=24247296/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2120060 memory=160176 CPUtime=2262.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 502700 0 0 0 224235 1996 0 0 20 0 1 0 246927073 2170941440 40044 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 530015 40044 776 405 0 526959 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2120060 KiB
Current children cumulated memory: 160176 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22050
/proc/meminfo: memFree=24221560/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2116660 memory=156788 CPUtime=2322.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 511326 0 0 0 230188 2043 0 0 20 0 1 0 246927073 2167459840 39197 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 529165 39197 776 405 0 526109 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2116660 KiB
Current children cumulated memory: 156788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22056
/proc/meminfo: memFree=24201432/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2179376 memory=219576 CPUtime=2382.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 522715 0 0 0 236144 2087 0 0 20 0 1 0 246927073 2231681024 54894 33554432000 4194304 5849940 140733628800848 140733628799848 5335776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 544844 54894 776 405 0 541788 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2179376 KiB
Current children cumulated memory: 219576 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 5/188 22057
/proc/meminfo: memFree=24167096/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2119616 memory=159864 CPUtime=2442.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 530345 0 0 0 242103 2128 0 0 20 0 1 0 246927073 2170486784 39966 33554432000 4194304 5849940 140733628800848 140733628800008 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 529904 39966 776 405 0 526848 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2119616 KiB
Current children cumulated memory: 159864 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 22058
/proc/meminfo: memFree=24193136/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2116636 memory=156752 CPUtime=2502.31 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 539800 0 0 0 248064 2167 0 0 20 0 1 0 246927073 2167435264 39188 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 529159 39188 776 405 0 526103 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2116636 KiB
Current children cumulated memory: 156752 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/188 22058
/proc/meminfo: memFree=24162428/32770624 swapFree=67108172/67108860
[pid=21967] ppid=21960 vsize=2128152 memory=168232 CPUtime=2520.02 cores=0,2,4,6
/proc/21967/stat : 21967 (xcsp_picat) R 21960 21967 21905 0 -1 4202496 541657 0 0 0 249821 2181 0 0 20 0 1 0 246927073 2179227648 42058 33554432000 4194304 5849940 140733628800848 140733628799848 140291786227591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 21794816 140733628802230 140733628802308 140733628802308 140733628805066 0
/proc/21967/statm: 532038 42058 776 405 0 528982 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2128152 KiB
Current children cumulated memory: 168232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2498.22 s, system=21.8164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.03
CPU user time (s): 2498.22
CPU system time (s): 21.8164
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2182580
Max. memory (cumulated for all children) (KiB): 222848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2498.22
system time used= 21.8164
maximum resident set size= 222856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541657
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= 23
involuntary context switches= 1952
# summary of solver processes directly reported to runsolver:
# pid: 21967
# total CPU time (s): 2520.03
# total CPU user time (s): 2498.22
# total CPU system time (s): 21.8164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31704 second user time and 18.0012 second system time
The end