[stampede 14] PRIMABOINCA

[KuuKe]

Stampede 14 - PRIMABOINCA

Primaboinca, wat is dat nu weer?

Na een enerverende stemperiode zijn de meeste stemmen gevallen op Primaboinca. Dit is een wiskundig project dat aan de hand van tegenvoorbeelden voor beweringen om zo sneller priemgetallen te vinden.

Ja? en?

Primaboinca omschrijft het op haar website zelf als volgt: PRIMABOINCA is een onderzoeksproject dat gebruik maakt van met internet verbonden computers om te zoeken naar tegenvoorbeelden voor sommige beweringen. Het project houdt zich bezig met twee hypotheses uit de getaltheorie. Beiden zijn beweringen voor de identificatie van priemgetallen. De eerste bewering (de bewering van Agrawal) vormt de basis voor de formulering van de eerste deterministische priemgetallen test in polynomiale tijd (het AKS algoritme). De Hendrik Lenstras en Carl Pomerances heuristiek voor deze bewering suggereert dat er een oneindig aantal tegenvoorbeelden moet bestaan. Echter, tot nu toe zijn er geen tegenvoorbeelden bekend. Deze hypothese is getest voor N < 1010 zonder dat er een tegenvoorbeeld is gevonden. De tweede bewering (de bewering van Popovych) voegt een andere voorwaarde toe aan de bewering van Agrawal en versterkt daarmee de bewering. Als deze hypothese correct is kan de tijd van een deterministisch priemgetal worden gereduceerd van O(log N)6 (op dit moment de meest efficiënte versie van het AKS algoritme) naar O(log N)3. Het PRIMABOINCA-project wordt gehost aan de Hochschule RheinMain, University of Applied Sciences Wiesbaden Rüsselsheim

Hoe doe je mee

Primaboinca is momenteel alleen toegankelijk door middel van een invite, de reden waarom lees je hieronder. Heb je nog geen account ga dan eerst naar de Primaboinca website en klik daar op create account. Vul daar de invite code in en de rest van je gegevens. Primaboinca maakt gebruik van de BOINC client. Heb je die niet dan kan je de laatste versie HIER downloaden. Kies daarna voor Project Toevoegen en voer in: http://www.primaboinca.com en meldt je aan met naam en emailadres dat je voorheen hebt gebruikt. Om je punten mee te laten tellen voor de Dutch Power Cows is het belangrijk dat je je account aanmeldt bij de Dutch Power Cows. Doe je dat niet dan tellen je punten wel voor de wetenschap maar niet voor ons Inschrijven bij de Dutch Power Cows doe je HIER Belangrijk voor Llinux gebruikers!!! Je kan de melding krijgen dat Primaboinca geen x86_64 CPU's ondersteunt als je met een standaard 64bit installatie zit. De eenvoudigste oplossing is lib32z1 te installeren, een van de vervangers van de gekende ia32-libs, deze installeert ook libc6-i386, de i386 'versie' van libc6 die Boinc gebruikt en waar Primaboinca problemen mee heeft. Vervolgens Boinc herstarten en je kan er helemaal voor gaan

Waarom die invite code?

Het project heeft recent last gehad van zware DDOS-aanvallen. Om die reden heeft men besloten om voorlopig alleen met een invite te werken. We hebben van de projectleiding toestemming om een invitecode te verspreiden onder de DPC-ers die deelnemen aan de stampede. We mogen die code nergens publiceren. Jullie dus ook niet! Wil je een invite code hebben? Vraag één van de mensen uit de lijst hiernaast of help elkaar. Maar nogmaals: plaats die code NIET hier op het forum!

Hoelang stampen we?

De stampede begint op 1 mei 2015 en sluit af op zondag 31 mei 2015 om 24:00 uur.

Waar zijn de stampedeteams gebleven?

We hebben besloten om dit jaar slechts één stampedeteam toe te laten: De Dutch Power Cows zelf . De reden hiervoor is dat we de laatste jaren al zagen dat het stampedeteam dat na de eerste week bovenaan stond meestal ook wel de stampede won. Bovendien zagen we dat de krachten binnen de stampedeteams ook snel waren verdeeld. Het doel van de stampede is om gezamenlijk gedurende één maand te stampen op één project. Samen dat zijn wij, de Dutch Power Cows

Tot slot

De kleine lettertjes: we gaan uit van het boerenverstand, en beschaafd gedrag. Valsspelers zijn we gelukkig nog nooit tegengekomen, en dat houden we graag zo. Feestje bouwen is prima, overigens

[ Voor 12% gewijzigd door KuuKe op 30-04-2015 20:33 ]

[OB1]

Leuk, ondanks dat ik niet veel rekenkracht hebben doe ik toch mee, met z'n allen kom je verder

[Witlof]

Dat is de insteek! Ik doe ook mee

[Bikerepairman]

mijn 16 beschikbare xeon-cores stampen nu lekker fulltime mee. (alle andere projecten een maandje "on hold" gezet, maar mogen wel de komende paar dagen nog de WU's afmaken)..

[Viper®]

Waar is mijn alpha beta pre-release invite code

[Bubbles]

In je DM box.

[Cow_tipping]

altijd lekker die grafiekjes bij de aanloop van de stampede.

[Andy]

ook een invite voor mij a u blieft

[Bubbles]

Je hebt DM.

[Xanquezer]

Meh...

Ik kan team DPC niet joinen...

[Bubbles]

Ben je ingelogd op de website van primaboinca?

[Xanquezer]

yup.

Edit:

Alle teams kan ik joinen, behalve... dpc...

[ Voor 87% gewijzigd door Xanquezer op 30-04-2015 17:25 ]

[DaMoUsYs]

Had ik gisteravond ook last van, na een paar minuten wachten stond de link er in eens wel bij

[KuuKe]

Vreemd, ik heb net tien minuten geleden of zo DPC gejoind gebruikmakende van de link hierboven. Was geen probleem.

[DaMoUsYs]

Misschien zit er een limiet op dat er maar een aantal mensen per minuut / uur mogen joinen of zo

[KuuKe]

Nah, het loopt nog niet echt storm hoor.
Als er problemen ontstaan dan hooguit aan de voorzijde als die invite in grote getale gebruikt zou gaan worden. Er zijn volgens mij pas een stuk of vijftig invites uitgedeeld en dat i geleidelijk aan gegaan.

[Xanquezer]

Gelukt.


This n tage koe...

[Grubeater]

Dus nu kunnen we gewoon als DPC subteams gaan stoken?

[Xanquezer]

KuuKe schreef op dinsdag 28 april 2015 @ 20:40:

Waar zijn de stampedeteams gebleven?

We hebben besloten om dit jaar slechts één stampedeteam toe te laten: De Dutch Power Cows zelf . De reden hiervoor is dat we de laatste jaren al zagen dat het stampedeteam dat na de eerste week bovenaan stond meestal ook wel de stampede won. Bovendien zagen we dat de krachten binnen de stampedeteams ook snel waren verdeeld. Het doel van de stampede is om gezamenlijk gedurende één maand te stampen op één project. Samen dat zijn wij, de Dutch Power Cows

Noop, 1 team dit keer.

[ Voor 4% gewijzigd door Xanquezer op 30-04-2015 19:52 ]

[Xaverius]

Goed plan, daar zat altijd de grootste uitdaging in, het proberen te krijgen van evenwichtige subteams.
Edit: Oh ja, doe mij ook maar zo'n invite. Zien of ik een WU af kan krijgen.

[ Voor 28% gewijzigd door Xaverius op 30-04-2015 22:34 ]

[Bubbles]

Achterliggende motivatie van deze keuze was dat we geen statsbakker hadden die in deze periode voldoende tijd had om stampedestats op te kunnen zetten. Maar los daarvan zijn de punten die KuuKe in de OP heeft gezet ook volledig waar en valide. Uiteindelijk was (en is!) de hoofdtaak van een stampede nog steeds om als 1 groot team furore te maken bij een enkel project en dat project een leuke boost te kunnen geven.

[fribbler]

Top! Ik doe weer mee.
Mag ik de invite code?

Fribbler

[VictordeHolland]

Doet u er mij ook maar een biertje, ehhhmm, invite. Oeps, het is nog geen weekend .

[FreezeXJ]

/me Freeze_XJ tapt een kouwe voor Victor
Invites verstuurd, ook dat nog

[Xaverius]

FreezeXJ schreef op vrijdag 01 mei 2015 @ 00:13:
/me Freeze_XJ tapt een kouwe voor Victor
Invites verstuurd, ook dat nog

Thanx!

[ Voor 20% gewijzigd door Xaverius op 01-05-2015 09:45 . Reden: En hij is binnen ]

[DaMoUsYs]

Invite verstuurd

[Suicyder]

Ik wil ook wel mee doen. Geen idee hoeveel ik af ga krijgen, maar ieder beetje is meegenomen.

[Bubbles]

Je hebt een invitecode in je DM.

[Theadalus]

Is er iemand die wat kan roepen over het gebruik van Hyperthreading op dit project, d.w.z. geeft HT een hogere output?

[Bubbles]

Zou ik thuis eens moeten proberen. Daar heb ik meerdere pc's met HT (nu aan staan). Maar over het algemeen geeft het iets van 10-30% winst

[Theadalus]

Aangezien Primaboinca wu's allemaal even "groot" zijn (qua calculatie-tijd), is dit makkelijk te zien; zolang de cpu-tijd per wu niet verdubbelt met HT aan (= 2x zoveel clients), geeft HT winst.

[Anoniem: 47852]

Owwww ERBrouwer, massive output heb je
Zelfs de Brabo's passeren me nu al

Me needs more powerrrrr

Ben benieuwd waar we uiteindelijk op uitkomen qua max output; boven de 2 miljoen per dag?

[Rubencs]

Wil ook wel weer meedoen, mag ik ook een invite

[enthernal]

Rubencs heeft PM

[Bubbles]

DM. Alleen mods kunnen PM.

[enthernal]

da's toch allemaal 1 pot nat

[sjroorda]

OB1 schreef op donderdag 30 april 2015 @ 12:20:
Leuk, ondanks dat ik niet veel rekenkracht hebben doe ik toch mee, met z'n allen kom je verder

Met dezelfde argumentatie wil ik ook wel een invite!

[Xanquezer]

Bubbles schreef op vrijdag 01 mei 2015 @ 18:49:
DM. Alleen mods kunnen PM.

Push message...
Had er ook al last van

Heeft iedereen last van overkill aan taken? Heb er 434 gekregen...

Gras genoeg

[Bubbles]

sjroorda schreef op vrijdag 01 mei 2015 @ 22:11:
[...]

Met dezelfde argumentatie wil ik ook wel een invite!

Helaas staat je DM uit. Alleen mods kunnen je nog een PM sturen met de invite.

[KuuKe]

sjroorda schreef op vrijdag 01 mei 2015 @ 22:11:
[...]

Met dezelfde argumentatie wil ik ook wel een invite!

Done!

[Zonar]

Xanquezer schreef op vrijdag 01 mei 2015 @ 22:19:

Heeft iedereen last van overkill aan taken? Heb er 434 gekregen...

Gras genoeg

Klopt, de server is nogal kwistig met het uitdelen daarvan. Ik had bewust mijn buffer al omlaag gezet omdat ik anders voor een week taken binnen zou krijgen, ook al geef ik aan dat ik maar voor 1 dag aan taken wil...

Ik heb begrepen dat dit komt doordat de 'estimated computation time' per taak op 1000 GFLOPs staat.

[KuuKe]

Hmm, weird dan. Mijn pc is ze stuk voor stuk aan het afwerken. Heb de buffer al groter gezet maar krijg niks meer binnen. Nu maakt het niet veel uit, er is blijkbaar voldoende voorraad.

[Xanquezer]

Ja... Beetje onlogische server...

434 taken op mn i7
26 taken op mn amd quad
41 taken op mn amd dual laptop.

Ik denk niet dat ik ze op tijd ga inleveren...
Maar goed, eten wat de koeien kunnen

[Suicyder]

Net 1e taken binnen gehaald, direct new tasks uit gezet. De inschatting van BOINC van 5:11 per taak is VEEEEEEEEL te rooskleurig voor mijn oude lijk van een PC.
Geen idee waarop dat ding dat bepaald heeft, maar 2 uur komt dichter bij.... (Q6600 B3 antiek )

edit:
183 tasks gekregen
Ik mag blij zijn als ik halverwege kom voor de deadline

[ Voor 14% gewijzigd door Suicyder op 02-05-2015 11:25 ]

[FreezeXJ]

Trekt vanzelf wel bij, ik heb nu 50 taken, en dat krijg ik wel af. Zodra je de eerste WUs ingeleverd hebt kan ie beter rekenen...

[lasermen]

Mag ik ook een invite? Ik heb nog wel een machientje die wel wat tijd over heeft

[bassiexp]

Ik zie net een tweet van primaboinca dat ze vrijdag pas weer nieuwe accounts gaan maken.

https://mobile.twitter.co...status/584641695091990528

Laat maar heb zitten slapen

[ Voor 11% gewijzigd door bassiexp op 02-05-2015 17:08 ]

[VictordeHolland]

bassiexp schreef op zaterdag 02 mei 2015 @ 13:39:
Ik zie net een tweet van primaboinca dat ze vrijdag pas weer nieuwe accounts gaan maken.

https://mobile.twitter.co...status/584641695091990528

Datum: 5 april .

[KuuKe]

lasermen heeft zijn invite.

En ja ,oude tweet en niet meer van toepassing. Daarvoor is die invitecode in de plaats gekomen

[bassiexp]

Heb ik toch lekker over een paar dingen gekeken. Was lekker wakker denk ik.

[lasermen]

KuuKe schreef op zaterdag 02 mei 2015 @ 13:52:
lasermen heeft zijn invite.

En ja ,oude tweet en niet meer van toepassing. Daarvoor is die invitecode in de plaats gekomen

Dank je!

[sjroorda]

Bij mij werkt het niet helemaal lekker: mijn eerste taak heb ik vrijdag gestart. 80% klaar, zo'n 3 uur gedraaid, nog zo'n half uur te gaan. Ik klap mijn laptop dicht, de volgende dag weer open, en hij begint weer op 0%? Terwijl hij wel weet dat hij al 3 uur bezig was.

Vandaag blijft hij hangen op "Waiting to run", nu al zeker een uur... Ik heb hem "aborted" om te resetten, opeens verschijnt er een nieuwe taak die al voor 40% klaar is?

Dan bedenk ik me dat BOINC in het verleden zo'n uitgebreid schermpje had en jawel, daar zie ik vele tientallen taken staan waarvan er nu vier aan het draaien zijn.

Maar die taak die maar niet wilde starten en die ik "aborted" heb staat wel mooi op 100% en "aborted by user". Er is volgens mij geen mogelijkheid om deze nog een keer geforceerd te flushen? Beetje zonde!

Anyway, ik heb hem nu op "max 50% CPU" gezet (anders stijgt m'n laptop op) en ga eens een beetje de balans vinden tussen "werkbaar" en "nuttig". Het is en blijft de stampede!

[Bubbles]

Ik kan me vergissen, maar volgens mij wordt de status op 100% gezet als je abort, zodat hij weer teruggestuurd kan worden. En inderdaad, gebruik verder de advanced mode van BOINC, dan zie je beter wat er wel en niet gebeurd.

[sjroorda]

En na opnieuw laptop dichtklappen/openklappen beginnen alle vier de taken, die toch al 40-50% hadden, weer netjes op 0%... Iemand anders die dit ook heeft? MacBook Pro, OSX 10.10.3.

[Xanquezer]

Moet je niet lopen klapperen!

[Anoniem: 253680]

Tijdens de stampede is het uitzetten van de PC geen optie :-)

[Anoniem: 321707]

sjroorda schreef op zondag 03 mei 2015 @ 14:00:
En na opnieuw laptop dichtklappen/openklappen beginnen alle vier de taken, die toch al 40-50% hadden, weer netjes op 0%... Iemand anders die dit ook heeft? MacBook Pro, OSX 10.10.3.

Ik neem aan dat je systeem op standby/sleep gaat als je het scherm dichtklapt. In dat geval worden de BOINC-taken stopgezet (suspended). Als je in BOINC het volgende verandert: Tools -> Computing preferences -> disk and memory usage -> Leave applications in memory while suspended <- aanvinken - Dit met Engelse interface en bijdetijdse BOINC-versie.

Als dat gelukt is, test het uit zodat je niet opnieuw x% rekentijd verliest.

[ Voor 4% gewijzigd door Anoniem: 321707 op 03-05-2015 15:22 ]

[sjroorda]

Jajaja, uitzetten moet eigenlijk niet maar ik zit moet al een aantal jaar met meer mensen rekening houden en een opstijgende straaljager wordt niet gewaardeerd .

@iconized, ik heb dit aangezet, eens kijken of het nu werkt.

[Viper®]

Beter om dan tussen bepaalde tijden de cpu op bijvoorbeeld 40% te zetten. Of te beperken tot 1 of 2 cores. Met 1 core is soms de turbo boost groter.

[lasermen]

Ik heb eerder het probleem dat er niet genoeg workload units binnenkomen. Maar dat is meestal gewoon wachten totdat de BOINC client door heeft dat hij meer kan en mag gebruiken.

[Xaverius]

Soms mis ik de +1, Like, of "Ik Henk hem" knop die zichtbaar is voor iedereen.

[sjroorda]

Anoniem: 321707 schreef op zondag 03 mei 2015 @ 15:19:
[...]

Ik neem aan dat je systeem op standby/sleep gaat als je het scherm dichtklapt. In dat geval worden de BOINC-taken stopgezet (suspended). Als je in BOINC het volgende verandert: Tools -> Computing preferences -> disk and memory usage -> Leave applications in memory while suspended <- aanvinken - Dit met Engelse interface en bijdetijdse BOINC-versie.

Dit heeft inderdaad geholpen, hij gaat netjes op 40% verder nu

Viper® schreef op zondag 03 mei 2015 @ 22:59:
Beter om dan tussen bepaalde tijden de cpu op bijvoorbeeld 40% te zetten. Of te beperken tot 1 of 2 cores. Met 1 core is soms de turbo boost groter.

Ik heb hem op 50% staan en dat lijkt doenlijk, ik kijk het eens aan. Zo'n maandje per jaar moeten ze maar wat toleranter zijn!

[Peregrine]

-sjit-
Had m'n computing preferences verkeerd ingesteld voor het afgelopen (dubbel-lange) weekend. Heeft een van m'n 2 koetjes gisteren 3/4 van de dag liggen slapen

Nouja, vandaag maar weer rustig verder kauwen dan.

[danielkuijten]

Ik wil ook wel mee doen.

[Bubbles]

En dat zal je. Je hebt een DM

[Viper®]

Peregrine schreef op woensdag 06 mei 2015 @ 12:32:
-sjit-
Had m'n computing preferences verkeerd ingesteld voor het afgelopen (dubbel-lange) weekend. Heeft een van m'n 2 koetjes gisteren 3/4 van de dag liggen slapen

Nouja, vandaag maar weer rustig verder kauwen dan.

Straf

[Bubbles]

....zei hij die z'n pc was vergeten aan te zetten...

[DukeBox]

Ben nog ff hardware aan het sprokkelen, mis nog een bridge board en een zware PSU maar als het een beetje meezit kan ik nog 8 CPU's bijschakelen. (8x X7542 op een supermicro X8OBN-F)

[Viper®]

Die DukeBox
8 CPU's, nog ff wat hardware sprokkelen zegt ie, wat een baas is het toch

[Xanquezer]

ik doe ook mee!

[DaMoUsYs]

Dan doe je toch iets niet goed, aangezien de CPU load nog maar op 12% staat

[Xanquezer]

Mijn mede gebruikers verwachten niet een trage VPN verbinding...

[DaMoUsYs]

Gewoon een BOFH zijn en vol gas meegrazen op die machine
Ik heb zelf mijn virtuele Plex en virtuele telefooncentrale uit staan zodat mijn host wat meer power krijgt

[ Voor 48% gewijzigd door DaMoUsYs op 07-05-2015 18:20 ]

[Xanquezer]

Das niet meer grazen, das met n opgevoerde grasmaaier rond racen...

[Blord]

Viper® schreef op donderdag 07 mei 2015 @ 14:33:
Die DukeBox
8 CPU's, nog ff wat hardware sprokkelen zegt ie, wat een baas is het toch
[afbeelding]

Ere wie ere toekomt. Kijk eens naar de hardware van de top3. De anderen hebben ook gelijkwaardige spullen.

[DaMoUsYs]

dat klopt, maar zou wel een grote boost zijn als die bijvoorbeeld snachts naar de 100% kan

Zijn het trouwens wel allemaal eigen machines die jullie gebruiken ?
Bij mij wel, 1 is de werkplek op de zaak die dus officieel niet van mij is

[ Voor 45% gewijzigd door DaMoUsYs op 07-05-2015 18:24 ]

[DukeBox]

Bij mij zijn het allemaal eigen 'machines'.. vaak niet meer dan een mainboard met voeding open op een bureau.

[enthernal]

Dat vraag ik me inderdaad ook af, waar halen jullie al dat spul? 2000/4000 voor 1 zo'n 16/18 core CPU, ik wil ook wel eens weten waar die geldboom/drukpers/whatever staat

[DukeBox]

Ik doe software ontwikkeling specifiek voor multi core/cpu/threads dus voor mij is het gewoon 'gereedschap'. Daarnaast, listprice is echt niet de prijs van zo'n CPU.

[ Voor 20% gewijzigd door DukeBox op 07-05-2015 19:07 ]

[DaMoUsYs]

Leuk gereedschap

[DukeBox]

Een timmerman heeft ook voor een paar duizend euro bijv. aan festo spul. Die doen er alleen vaak wel wat langer mee.. mijn werkstation wordt meestal binnen een jaar vervangen.

[enthernal]

Dat begrijp ik best, maar ik neem aan dat niet iedereen hier in zo'n specifieke situatie zit

Wat bedoel je overigens die list prijzen kloppen niet? Via gewone kanalen vind ik ze alvast niet goedkoper.

[DukeBox]

Mijn dell 7810 Workstation met dual E5-2687W heeft een listprice van 6k, maar uiteindelijk betaal je er niet meer dan 4k voor.

[Destrega]

Zou je eens een foto willen plaatsen DukeBox? Ik ben eigenlijk wel erg benieuwd wat je er allemaal hebt liggen

[Viper®]

En daarbij is het zakelijk, dus uiteindelijk betaal je nog niet eens de helft

Meer dan een simpele pc met visual studio en wat software heb ik niet nodig.

[enthernal]

voor zelfstandigen wel ja, wij betalen gewoon de volle pot Maar bon, halve prijs of niet, het is toch nog ver boven mijn budget

[Viper®]

Als je in die software ontwikkel hoek zit werk je of voor een bedrijf, dan krijg je hardware geleverd of je werkt voor jezelf, kan je het zakelijk aanschaffen.

Zo privé koop je niet zo snel iets lijkt mij

[DukeBox]

DukeBox schreef op donderdag 07 mei 2015 @ 14:27:
Ben nog ff hardware aan het sprokkelen, mis nog een bridge board en een zware PSU maar als het een beetje meezit kan ik nog 8 CPU's bijschakelen. (8x X7542 op een supermicro X8OBN-F)

Gelukt.. alleen hebben de eerste 2 PSU's het begeven dus hopelijk houdt deze het wel vol (SuperNOVA 1600 G2)

[Xaverius]

Jullie zijn goed bezig mannen!

[Uberdude]

Zou graag ook een bijdrage willen leveren als het mag

[DaMoUsYs]

Invite verstuurd

[Uberdude]

zo, tijd voor een biertje

[ShitHappens]

Oeps helemaal vergeten, zou ik ook nog een invite kunnen krijgen?

[DaMoUsYs]

invite verstuurd

[ShitHappens]

En koetje staat te grazen

[DaMoUsYs]

Nice, ook beide team DPC gejoined ?

[Uberdude]

Hij zegt dat ik bij dpc zit volgens de account manager

[ongekend41]

code:

PrimaBoinca team New members (9 May 2015)
Ordered by join time
    user    overall pos     total   
    Ubbiedude   (54)    0 points    
    ShitHappens     (53)    0 points

bron

[ShitHappens]

DaMoUsYs schreef op zaterdag 09 mei 2015 @ 00:38:
Nice, ook beide team DPC gejoined ?

Ik ben niet onbekend met stampen

[DaMoUsYs]

Ik zie wel dat ik de site van PrimaBoinca zelf niet hoef te checken.
Deze bron is actueler

Dat dacht ik ook wel eigenlijk ShitHappens