[opam-devel] IRILL cloud solver down?

[Roberto Di Cosmo]

And here is the issue you opened an year ago about the socat wrapper
https://github.com/rdicosmo/docked-aspcud/issues/1
Feel free to submit a PR when you have it worked out

2016-02-24 17:24 GMT+01:00 Roberto Di Cosmo <roberto at dicosmo.org>:

> A dockerized aspcud is here
>
> https://github.com/rdicosmo/docked-aspcud
>
> On Wed, Feb 24, 2016 at 04:17:41PM +0000, Anil Madhavapeddy wrote:
> > On 24 Feb 2016, at 16:06, Grégoire Henry <Gregoire.Henry at ocamlpro.com>
> wrote:
> > >
> > >> Thanks, it seems to be back up again, so I'm restarting the CI jobs.
> > >> Is the configuration of the server available so I can set it up as a
> > >> local Docker container alongside the CI runs?  We can spin up around
> > >> 3000 containers simultaneously in a bulk run, so this can hit the
> > >> cloud service pretty hard if they all make HTTP requests for a
> > >> solution at the same time (and pollutes your logs with CI noise).
> > >
> > > Indeed, there is actually a global rate limiter that your bulk runs
> > > may trigger. We did not took the time to release the tool, yet. We
> > > will discuss this. I will let you now.
> > >
> >
> > No problem at all -- I'll wire up a quick aspcud<->socat container
> > to work around the issue for now (the bulk builds would also benefit
> > from having a deterministic solver binary tied to the run, so we can
> > chase down aspcud/gringo/clasp compatibility issues as well).
> >
> > Thanks for the very speedy response!
> >
> > -anil
> > _______________________________________________
> > opam-devel mailing list
> > opam-devel at lists.ocaml.org
> > http://lists.ocaml.org/listinfo/opam-devel
>
> --
> Roberto Di Cosmo
>
> ------------------------------------------------------------------
> Professeur               En detachement a l'INRIA
> PPS                      E-mail: roberto at dicosmo.org
> Universite Paris Diderot WWW  : http://www.dicosmo.org
> Case 7014                Tel  : ++33-(0)1-57 27 92 20
> 5, Rue Thomas Mann
> F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
> FRANCE.                  Twitter: http://twitter.com/rdicosmo
> ------------------------------------------------------------------
> Attachments:
> MIME accepted, Word deprecated
>       http://www.gnu.org/philosophy/no-word-attachments.html
> ------------------------------------------------------------------
> Office location:
>
> Bureau 3020 (3rd floor)
> Batiment Sophie Germain
> 8 place Aurélie Nemours
> Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
> -----------------------------------------------------------------
> GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
>



-- 
Roberto Di Cosmo

------------------------------------------------------------------
Professeur               En detachement a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:

Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20160224/2c712965/attachment.html>