Новый Год стремительно наступает - прямо на пятки :)
По Саратову осталось меньше 10 минут.

Наступает, наступает, наступает!
Встречаем :)

С наступившим, дорогие друзья!
У нас уже наступил :)

Прервала проверку паттерна b127 для 15-ок.

Показываю частично логи

001 pcoul(12 15) -p90000000 -f13 -g10 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.11185693^2 2.11 13.19^2 (584.72s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.25397353^2 2.11 13.19^2 (1176.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.39434207^2 2.11 13.19^2 (1743.40s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.54076003^2 2.11 13.19^2 (2320.42s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.69339857^2 2.11 13.19^2 (2910.56s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.84554801^2 2.11 13.19^2 (3495.12s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.6785279^2 2.11 13.19^2 (4082.19s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.20382029^2 2.11 13.19^2 (4667.13s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.34627979^2 2.11 13.19^2 (5251.99s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.49372907^2 2.11 13.19^2 (5834.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.62570843^2 2.11 13.19^2 (6356.04s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.75066209^2 2.11 13.19^2 (6855.18s)
. . . . . . . . . 
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.181^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.40970173^2 2.11 13.19^2 (49673.37s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.181^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.54996101^2 2.11 13.19^2 (50226.68s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.181^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.70268113^2 2.11 13.19^2 (50782.54s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.181^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.84593323^2 2.11 13.19^2 (51341.36s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.7842061^2 2.11 13.19^2 (51922.16s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.21712237^2 2.11 13.19^2 (52504.48s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.36107537^2 2.11 13.19^2 (53082.48s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.51642623^2 2.11 13.19^2 (53671.71s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.68090339^2 2.11 13.19^2 (54253.82s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.83598349^2 2.11 13.19^2 (54830.51s)

Более 15 часов длилась проверка, и она ещё не завершена.
И много ли осталось до завершения - одному Богу известно.
Решений не найдено.
Можно пробовать поиграть со значениями параметров, но смысла не вижу.
Это метод тыка, который я не люблю.
Ну вот, один раз ткнула, плохо получилось.
Больше не хочется.

Проверяла черепашка.

Ах да, забыла про возможность продолжить проверку паттерна.
Теперь абсолютно не помню: про какую-то программу Hugo говорил, что продолжение выполняется не совсем корректно.
Ну, сделала перезапуск тем же пакетным файлом start.bat, программа побежала :)
Пусть побежит ещё один день, вдруг добежит куда-нибудь.

А я уж было собралась выполнить аналогичный эксперимент с паттерном с одним квадратом для 14-ок.
Сейчас попробую его на Ахиллесе запустить.

Готово!
Запустила паттерн b198 вот так

pcoul -rlog_b198_14.txt -x1966089440441196672524986345512345 -f13 -b198 -p3e7 -g10 12 14

Параметр р задала поменьше, чем для 15-ки, параметр g - такой же.
Ахиллес работает быстрее черепашки, к тому же круглосуточно.
Может быть, проверится этот паттерн полностью за несколько часов/дней.

В конце ушедшего года были две тяжелейшие попытки запустить два новых BOINC-проекта.
Об одной из попыток...
Вопросы начались здесь
https://www.rechenkraft.net/forum/viewtopic.php?p=193195#p193195
Ух! Отвечать на вопросы устала.
Только пока непонятно, не зря ли я на них отвечала.
Будет ли запуск?
Это платформа yoyo@home.
Раньше уже пыталась там запустить BOINC-проект.
Мне сказали, что я должна предоставить готовое Приложение для BOINC, а они только разместят его на платформе yoyo@home.
Где б его взять - готовое Приложение для BOINC!
Оно, конечно, существует в природе, например, у Tomas Brada.
Однако давать его он не хочет, мои вопросы на форуме игнорирует.
Может быть, он его даже выложил на Гитхабе, но нужна ссылка.

Так что, пока опять тоскливое ожидание в полной неизвестности: что там этот Вебер будет делать и будет ли.
Интуиция (ох, эта интуиция!) говорит мне, что запуска не будет.
Делать-то он наверняка может, но захочет ли.
А нафиг тогда кучу вопросов задавал???

В конце концов, он скажет, что надо написать готовое Приложение для BOINC :)

Итак, проект "Симметричные кортежи из последовательных простых чисел" (SPT) собирается в третий BOINC-проект.
Очень серьёзно собирается.
Только сил у меня уже мало осталось :(

Господин Петухов писал в сообщении
https://dxdy.ru/post1575868.html#p1575868

Это известно чьи проблемы (особенно с пониманием смысла параметров при запуске pcoul) и уж точно не мои, я то как раз в логи и смотрел, не с потолка же взял цифру 10ч (точнее я её прикинул по первому часу, потому и "наверное" добавил, но потом она прекрасно сошлась):

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*
3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 60988592220412786461516805 / 60989071978082967093956104
367 coul(12, 15): recurse 280, walk 3786, walkc 64728917793 (36716.80s)

Ха-ха-ха!
Ну, конечно, куда уж мне уж до понимания смысла!
Я писала

Не знаю, нужен ли вообще параметр p при проверке паттернов с квадратами.
Ну, параметр g, наверное, нужен.

Здесь ясно написано, что петуховских смыслов параметра р не знаю.
Всем ясно, кроме умника господина Петухова.
Далее, если параметр p для проверки паттернов с квадратами нужно указывать, то я не знаю, какое значение является оптимальным для данного паттерна; выбрала значение методом тыка.

Кстати, что-то логи господин Петухов не показал более развёрнуто, может, они у него не выводятся подробно.
Хотела сравнить его логи со своими текущими, а сравнивать-то не с чем, у господина Петухова в логах четыре строчки.

Далее, а учитывает ли господин Петухов разницу в производительности его компьютера и моей черепашки?
То, что на его компьютере считалось 10 часов, на черепашке может считаться 20 часов или даже больше.
Между прочим, разность в производительности его компьютера и компьютера Евгения, кажется, в 2,5 раза.

Далее, по поводу этого

Кстати это выходит можно считать хорошим примером когда ключ ограничения чего-то (-p в данном случае) кардинально меняет метод проверки паттерна (даже не знал об этом).

Вот те на!
Это почему же не знал?
А смысл-то применения ключа р каков?
Господин Петухов ведь понимает же смысл!
Значит, должен понимать, нужно ли задавать вообще этот ключ при проверке паттерна с одним квадратом (или с несколькими квадратами).
А если задавать этот ключ в данном случае не нужно, по причине того, что он только тормозит проверку, тогда всё становится на свои места.
Хорошо.
Сегодня черепашка до вечера продолжает проверять этот паттерн.
Вечером прерву, покажу логи.
А завтра с утра запущу проверку этого же паттерна точно так, как сделал господин Петухов, то есть без параметров g и p.
Хотя, как помнится, для проверки паттернов с квадратами в задаче D(12,11) Hugo рекомендовал задавать параметр g.
При этом значение данного параметра для паттернов с одним квадратом и с несколькими квадратами было разное!
Почему Петухов не использует параметр g, мне непонятно.
Ну, ему лучше знать, он ведь понимает смыслы всех параметров, в частности параметра g!
О параметре р в тот момент речь ещё не шла.

Посмотрим, что будет у черепашки с проверкой по сценарию господина Петухова.
Можно сразу сказать, что за 10 часов черепашка не проверит паттерн и в этом случае, ибо производительность компьютера господина Петухова наверняка раза в 1,5-2 больше производительности черепашки.

Повторю цитату господина Петухова, приведённую выше

Полтора месяца назад запускал pcoul -p100 -x6e26 -g9 -f13 12 13, заняло два дня, нашлась известная 13-ка, и больше ничего. Паттерны при этом проверялись вообще все, не только перспективные. Кажется примерно аналогичную проверку делал и Хуго. Потому мы как бы и почти уверены в её минимальности ... Всё же большие простые встречаются в разложениях реже малых.

А здесь параметр p как работал для паттернов с одним квадратом и с несколькими квадратами?
Он тоже тормозил проверку?
А значение параметра g здесь для всех паттернов одинаковое.
Это не могло тормозить проверку для некоторых паттернов?

Второй умник пишет
https://dxdy.ru/post1575857.html#p1575857

Тогда смотрите логи
Во всем известном блоге...

Там и на 100 часов не похоже. Проверялся паттерн b127(12-15).

Ну, экспертная оценка :)
Что тут скажешь.
Хорошо, проверим эту экспертную оценку.
Продолжу проверку этого паттерна и завтра, и послезавтра.
Вроде чекпоинт нормально работает.

Сейчас освободился один поток на Ахиллесе.
Запущу там проверку этого паттерна по сценарию Петухова

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*

Никаких параметров g и p!

Кстати, о птичках...

Из логов проверки паттерна b127

. . . . . . . . 
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.68090339^2 2.11 13.19^2 (54253.82s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.83598349^2 2.11 13.19^2 (54830.51s)
. . . . . . . 

Очевидно, что идёт перебор простого в квадрате; при этом перебор идёт с учётом заданного ограничения для p (-р9е7).
Разве без заданного ограничения, накладываемого параметром р, этот перебор не выполнялся бы?
А если выполнялся бы, то для него не было бы никаких ограничений, следовательно, он выполнялся бы дольше.
Это к вопросу о смысле параметра p.
Который (смысл) я, конечно, не понимаю, а точнее сказать: просто не знаю.

Цитата

Сейчас освободился один поток на Ахиллесе.
Запущу там проверку этого паттерна по сценарию Петухова

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*

Никаких параметров g и p!

Готово!
Проверка паттерна b127 для 15-ок поехала на Ахиллесе.
Запустила так

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 12 15

Посмотрела на логи в консоли, они совсем другие!
Ахиллес побыстрее черепашки, но вряд ли быстрее компьютера господина Петухова.
Значит, ждать окончания проверки паттерна не меньше 10 часов.
Это будет уже завтра.

Черепашка пыхтит :)
Показываю логи с момента перезапуска проверки паттерна b127

. . . . . . . . 
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.68090339^2 2.11 13.19^2 (54253.82s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.191^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.83598349^2 2.11 13.19^2 (54830.51s)
001 recover pcoul(12 15) -p90000000 -f13 -g10 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.7297133^2 2.11 13.19^2 (55405.83s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.21096503^2 2.11 13.19^2 (55986.13s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.34911001^2 2.11 13.19^2 (56544.59s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.49692449^2 2.11 13.19^2 (57122.12s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.65965621^2 2.11 13.19^2 (57706.61s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.197^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.80699621^2 2.11 13.19^2 (58267.01s)
. . . . . . . . . 
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.7936519^2 2.11 13.19^2 (83857.55s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.22110419^2 2.11 13.19^2 (84445.93s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.37421669^2 2.11 13.19^2 (85028.48s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.51840007^2 2.11 13.19^2 (85596.86s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.66830443^2 2.11 13.19^2 (86161.06s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.347^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.82079897^2 2.11 13.19^2 (86723.79s)

Уже чуть более суток идёт проверка.
По экспертной оценке господина Никонова проверять более 100 часов придётся.
Что ж, проверим.
Надеюсь, что чекпоинт работает корректно.

А здесь по-прежнему тишина!
https://boinc.ru/forum/topic/proekt-hugo-van-der-sanden/

Ну, хоть чего-нибудь написал бы Hugo.
Как идёт работа? Какие проблемы? Когда примерно ожидать запуск?
В письме он писал, что запуск можно ожидать, скорее всего, в начале года.
Ох! Начало года... оно такое большое :)
И 1 января - начало года, и 31 января - начало года.
Как бы это конкретизировать немножко...
Видим на этом примере, что даже для такого опытного программиста, как Hugo, BOINC весьма труден.
Это при том, что сервер готов и полностью настроен для BOINC.
Осталось только написание Приложения и генерация заданий.
У Hugo есть права на загрузку заданий на сервер проекта.
И вот уже пошёл второй месяц.
Пока никакого продвижения не видно.
Очень хочется надеяться, что продвижение есть и BOINC-проект будет запущен.

А не то :)
Господин Петухов уже проверил все паттерны для 13-ок с порогом для простых -р100.
Поднимет порог и дальше проверит :)
Легко!
К тому же он и ещё кто-то (он написал "мы") уже почти уверены в минимальности текущей минимальной 13-ки.
Так и подтвердите, ежели почти уверены!!

А между тем, господин Никонов писал в сообщении
https://dxdy.ru/post1574823.html#p1574823

Дмитрий говорил о малореальности начиная с 13-к.

В-о-о-т!
Малореальные 13-ки!
Всем понятно? :)
Мне, конечно же, непонятно.
Я вообще петуховские смыслы не понимаю :)))
Особенно когда он тщательно подсчитывает миллионы лет для проверок.

Господин Петухов писал в сообщении
https://dxdy.ru/post1575885.html#p1575885

Да блин, что ж такое-то, который раз забываю про квадраты ...

Да уж...
Смыслы все понимает господин Петухов, а вот с памятью у него не очень :)
Надо подлечить!
Рекомендую съездить в тайгу к медведям. Хорошо помогает :)

Цитата

Готово!
Проверка паттерна b127 для 15-ок поехала на Ахиллесе.
Запустила так

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 12 15

Посмотрела на логи в консоли, они совсем другие!
Ахиллес побыстрее черепашки, но вряд ли быстрее компьютера господина Петухова.
Значит, ждать окончания проверки паттерна не меньше 10 часов.
Это будет уже завтра.

Показываю логи, которые уже появились в выходном файле

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 6545762973532116489462 / 61153447795465164482177533 (573.44s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 26331317347110629052204 / 61153447795465164482177533 (1145.30s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 59188409997746022110703 / 61153447795465164482177533 (1718.04s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 105260110522959637728295 / 61153447795465164482177533 (2290.98s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 164467148754662400164031 / 61153447795465164482177533 (2863.02s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 237322251756312009717963 / 61153447795465164482177533 (3436.42s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 323692169510606703876915 / 61153447795465164482177533 (4010.30s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 422931405968465313350227 / 61153447795465164482177533 (4584.17s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 535919848101644806651185 / 61153447795465164482177533 (5158.25s)

Примерно 1,5 часа идёт проверка.

Теперь логи очень похожи на логи господина Петухова

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*
3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 60988592220412786461516805 / 60989071978082967093956104
367 coul(12, 15): recurse 280, walk 3786, walkc 64728917793 (36716.80s)

Ждём завтрашнего утра. Может быть, к утру завершится проверка.
Ну, а если нет, тогда дальше будем ждать.

Цитата

А не то :)
Господин Петухов уже проверил все паттерны для 13-ок с порогом для простых -р100.
Поднимет порог и дальше проверит :)
Легко!

Между тем, Ахиллес уже это проверяет.
Я подняла порог до -р3е7.
Может быть, мало подняла.
Ну, посмотрим, что получится.
Более суток уже идёт проверка.
Логи на данный момент

001 pcoul(12 13) -p30000000 -f13 -g10 -x586683019466361719763403545 *RT*
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.16017481^2 2.5^2 7.367^2 2^2.3 19^2 2 3^2.5 (580.35s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3 2.5^2 7.1213^2 2^2.3 19^2 2 3^2.5: 653256 / 1854147 (1160.85s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.5574853^2 2.5^2 7.191^2 2^2.3 23^2 2 3^2.5 (1741.66s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3 2.5^2 7.859^2 2^2.3 23^2 2 3^2.5: 1858776 / 2523079 (2323.15s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.29426251^2 2.5^2 7.233^2 2^2.3 29^2 2 3^2.5 (2903.13s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.97^2 2.5^2 7.19^2 2^2.3 31^2 2 3^2.5: 197902 / 301716 (3483.42s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.28312853^2 2.5^2 7.491^2 2^2.3 31^2 2 3^2.5 (4063.61s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.12999799^2 2.5^2 7.233^2 2^2.3 37^2 2 3^2.5 (4644.46s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.22726303^2 2.5^2 7.107^2 2^2.3 41^2 2 3^2.5 (5224.96s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.15298187^2 2.5^2 7.61^2 2^2.3 43^2 2 3^2.5 (5805.78s)
. . . . . . . . 
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.27253757^2 2.5^2 7.47^2 2^2.3 23^2 2 3^2.5 (115747.89s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.293^2 2.5^2 7.17^2 2^2.3 29^2 2 3^2.5: 8704 / 14194 (116328.38s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.4150357^2 2.5^2 7.53^2 2^2.3 37^2 2 3^2.5 (116909.85s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.10919833^2 2.5^2 7.193^2 2^2.3 41^2 2 3^2.5 (117490.40s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.43^2 2.5^2 7.67^2 2^2.3 47^2 2 3^2.5: 15614 / 16152 (118070.90s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.315109^2 2.5^2 7.41^2 2^2.3 59^2 2 3^2.5 (118651.96s)
305 3.13^2 2^2.7 5.11^2 2.3^2 31^2 2^5 3.17^2 2.5^2 7.97^2 2^2.3 67^2 2 3^2.5: 15734 / 24263 (119231.75s)

Подчеркну: проверяются сразу все паттерны для 13-ок с 12 делителями.

Напомню: у Петухова был такой запуск

Полтора месяца назад запускал pcoul -p100 -x6e26 -g9 -f13 12 13, заняло два дня, нашлась известная 13-ка, и больше ничего. Паттерны при этом проверялись вообще все, не только перспективные.

У меня ещё параметр g имеет другое значение: -g10.

Что тут можно ожидать?
Ну, текущую минимальную 13-ку, наверное, можно ожидать.
У господина Петухова она нашлась.
А меньшую 13-ку можно ожидать?
Можно, если она в этой парадигме есть.
Понятно, что парадигма определяется параметром р.
Для значения этого параметра, которое было у господина Петухова, меньшая 13-ка не нашлась.
Значит, это слишком низкий порог для простых.
А может, и не только это значит, а и то, что меньшей 13-ки вообще не существует - ни при каком пороге.

Черепашка пыхтит, немножко дуется на меня :)
Уже без малого 30 часов проверяет.
Скоро прерву, а завтра утром перезапущу.
Мне интересно, сколько же часов затратит черепашка на проверку этого паттерна.
И почему так долго?
Что такого ужасного наделал параметр р?
Может, всё-таки для паттернов с квадратами параметр р не надо задавать?

Ну, и на Ахиллесе завтра посмотрим результат проверки этого паттерна - без параметров g и p.

А ещё на Ахиллесе все паттерны для 13-ок проверяются. Это тоже очень интересно.
Как долго будут проверяться?
И что найдётся?

Наконец, на Ахиллесе паттерн с одним квадратом для 14-ки проверяется.
Но тоже с параметром р. Наверное, это плохо.
Если паттерн для 15-ки без параметра р нормально проверится, перезапущу проверку паттерна для 14-ки тоже без этого параметра.

В общем, жду результатов со своих машин, а ещё жду, когда кто-нибудь проснётся, наконец - в запусках BOINC-проектов.
Как уснули в конце года (с рождественских каникул), так и спят до сих пор :)

Итак, логи проверки паттерна b127 для 15-ок на данный момент

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 6545762973532116489462 / 61153447795465164482177533 (573.44s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 26331317347110629052204 / 61153447795465164482177533 (1145.30s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 59188409997746022110703 / 61153447795465164482177533 (1718.04s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 105260110522959637728295 / 61153447795465164482177533 (2290.98s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 164467148754662400164031 / 61153447795465164482177533 (2863.02s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 237322251756312009717963 / 61153447795465164482177533 (3436.42s)
. . . . . . . . . 
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 39842727237976022325060154 / 61153447795465164482177533 (42785.02s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 41123397361181980387382811 / 61153447795465164482177533 (43371.07s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 42428392842899399378956677 / 61153447795465164482177533 (43957.43s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 43755590847009258727021036 / 61153447795465164482177533 (44543.81s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 45017905614893129528029249 / 61153447795465164482177533 (45125.19s)

12,5 часов уже Ахиллес проверяет.
До конца ещё далеко.
Ну, во всяком случае логи очень похожи на логи господина Петухова.
А время... да, будет примерно в 1,5-1,7 раза больше, чем у него.
На Ахиллесе сейчас работают 8 потоков, поэтому производительность небольшая.
При 4-х работающих потоках она побольше.
В общем, с этим тестом всё понятно.

На черепашке проверку этого паттерна продолжила (чекпоинт).
Третий день проверки пошёл.

Остановила проверку паттерна b198 для 14-ки, которая тоже была запущена с параметрами g и р, и запустила его без параметров g и p, точно так, как для 15-ки.
Побежала программа довольно шустро, думаю, что к вечеру завершится.
Всё-таки для 14-ки проверка должна быть побыстрее, чем для 15-ки (для аналогичных паттернов с одним квадратом).

Опа!
Уже готово!

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b198 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 709124757 (568.06s)

Замечательно!
Сейчас запущу следующий паттерн с одним квадратом для 14-ки - b209.

Запустила.
Тоже шустро побежала.
Похоже, для 14-ки паттерны с одним квадратом можно довольно быстро проверить.
Так, сколько таких паттернов?
Сейчас найду их все в списке паттернов.

Готов паттерн b209!

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b209 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 709124759 (573.82s)

Выбрала паттерны с одним квадратом для 14-ок

b198: 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b209: 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b229: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b238: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b248: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b249: 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b250: 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b251: 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b252: 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b253: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b254: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b255: 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]
b401: 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b402: 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b403: 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b404: 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b476: 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b477: 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b478: 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b533: 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b534: 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b535: 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b536: 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b1356: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 [sq=1]
b1357: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 [sq=1]
b1358: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 [sq=1]
b1359: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 [sq=1]
b1425: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 [sq=1]
b1426: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 [sq=1]
b1427: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 [sq=1]
b1477: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 [sq=1]
b1478: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 [sq=1]
b1479: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 [sq=1]
b1480: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 [sq=1]
b1829: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 [sq=1]
b1841: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 [sq=1]
b1863: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 [sq=1]
b1873: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 [sq=1]
b1884: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 [sq=1]
b1885: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
b1886: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
b1887: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
b1888: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
b1889: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 [sq=1]
b1890: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 [sq=1]
b1891: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 [sq=1]

У меня получилось 46 штук.
Сейчас запущу их пакетом, начиная с паттерна b229; первые два паттерна уже проверены.

Запустила 15 паттернов: с b229 по b476.

Господин Никонов писал в сообщении
https://dxdy.ru/post1575937.html#p1575937

А теперь уже и Ахиллес вслед за Дмитрием проверяет до 8е34. Но ведь кусочек-то остаётся непроверенным. Зачем же его оставлять...

Это неправда.
Ахиллес до 8е34 не проверяет, а проверяет до 80215613469168729088982885848674841.
И черепашка тоже проверяет до 80215613469168729088982885848674841

001 pcoul(12 15) -p90000000 -f13 -g10 -x80215613469168729088982885848674841 -b127 *RT*

Что-то господину Никонову померещилось, наверное спросонья :)

Я писала про запуск паттерна b127 для 15-ки на Ахиллесе

Проверка паттерна b127 для 15-ок поехала на Ахиллесе.
Запустила так

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 12 15

И где здесь господин Никонов увидел 8е34?

Так что, ложь господин Никонов должен опровергнуть.

Ура!
Ахиллес завершил проверку паттерна b127 для 15-ки
Показываю логи частично

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 6545762973532116489462 / 61153447795465164482177533 (573.44s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 26331317347110629052204 / 61153447795465164482177533 (1145.30s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 59188409997746022110703 / 61153447795465164482177533 (1718.04s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 105260110522959637728295 / 61153447795465164482177533 (2290.98s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 164467148754662400164031 / 61153447795465164482177533 (2863.02s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 237322251756312009717963 / 61153447795465164482177533 (3436.42s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 323692169510606703876915 / 61153447795465164482177533 (4010.30s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 422931405968465313350227 / 61153447795465164482177533 (4584.17s)
. . . . . . . . . 
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 52616590249556009355960852 / 61153447795465164482177533 (48590.83s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 54027429795577720629018481 / 61153447795465164482177533 (49171.09s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 55395275909999197909037198 / 61153447795465164482177533 (49747.27s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 56891014393225281585292789 / 61153447795465164482177533 (50326.66s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 58413071793546212201822621 / 61153447795465164482177533 (50908.35s)
305 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 59820786170969103859651539 / 61153447795465164482177533 (51486.93s)
367 coul(12, 15): recurse 280, walk 3786, walkc 64816086763 (52040.12s)

Проверялось 14,46 ч., то есть в 1,42 раза дольше, чем у господина Петухова, как и ожидалось.

У господина Петухова так

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*
3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 60988592220412786461516805 / 60989071978082967093956104
367 coul(12, 15): recurse 280, walk 3786, walkc 64728917793 (36716.80s)

На Ахиллесе освободился один поток.
Сейчас запущу второй пакет паттернов для 14-ки.
Первый пакет (15 штук) довольно шустро проверяется.

Готово!
Запустила паттерны с b477 по b1478 (с одним квадратом) для 14-ки, 15 штук.
Итак 30 паттернов с одним квадратом для 14-ки проверяются, два паттерна уже проверены.