freenode/#clasp - IRC Chatlog
Search
19:44:46
selwyn
drmeister: did you see this paper? linked to from the wiki page https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3633016/ i found it well-written and it has a summary of the state of the art. the authors propose an algorithm 'RI' which always outperforms vf2
21:57:05
selwyn
i still get 'out of memory errors' when building cclasp in parallel.. it looks like serial is working. does anyone else still have problems?
22:00:46
drmeister
When you are building in parallel you can control the number of parallel processes that are run at the same time.
23:25:47
selwyn
it worked thanks very much. first time i started it up it complained Compile-error The variable LITERAL::*CONSTANT-DATUM-TO-LITERAL-NODE-CREATOR* is unbound. now it's fine..
23:26:40
drmeister
I've been working with Martin all day on the distributor and fixing problems with the TI calculations - I think I got it working now.
23:27:09
drmeister
We are running calculations on a combination of AWS spot instances and my desktop GPU card. It's working nicely now.
23:28:19
drmeister
It's running all of the yellow ellipses - most of them are GPU accelerated Amber.
23:28:57
drmeister
So I can punt understanding the VF2 algorithm and just use the boost::graph implementation.
23:29:12
drmeister
There is a bunch of other useful stuff in boost::graph that I have wanted to use for a while.
23:34:05
selwyn
is there an obvious reason why building should require more memory after these recent changes?
23:37:28
drmeister
The parallelism uses 'fork' - so the main process is forking off children - they compile one source file and then die, taking their memory with them.
1:14:53
drmeister
I had some small errors in how some of the calculations were being done - they essentially were running backwards.