Re: [MLton] strange gc message

Bernard Berthomieu <[email protected]> Wed, 18 Nov 2015 15:02:18 +0100

Newsgroups	gmane.comp.lang.ml.mlton.devel
Message-ID	<[email protected]>

Dear Matthew,

On 11/18/2015 04:21 AM, Matthew Fluet wrote:
> On Tue, Nov 17, 2015 at 9:58 AM, Bernard Berthomieu <[email protected]> wrote:
>> ....
>> [GC: Shrinking stack of size 735 bytes to size 0 bytes, using 18,446,744,073,709,551,615 bytes.]
>>
>> The last line seems suspicious to me ...  is it ?
> Yes, that last line is clearly bogus.  Seems like the pointer to the
> top of the ML stack got corrupted, which broke the computation of the
> bytes of stack used.

I guess so.

> Do you have gc#10 messages available?
>
> Have you tried compiling your program with "-debug true"?  That might
> trip an assert.

I just did it. The log files are attached, for the application compiled
with -debug true and gc-messages, in 32-bit and in 64-bit, and under
strace or not.

In 64-bit, the segfault occurs a bit later.
An assertion violation shows up (splitHeader).

In 32-bit, I get an Overflow exception in <main> before the application
really starts ...

> Can you reproduce with source code you can share?

The application is part of a toolbox written as ~50k lines of SML ...
I could certainly strip the code to that needed for that app only, but
it would still be several thousand lines. I will do that as a last 
resort :-) .

As I mentionned in my previous post, the application makes use of ffi,
and allocates some storage in C using mmap. At first, I was suspecting
a collision between the storage allocated in C and that allocated by mlton.
But how this could happen ?

Also, I could not reproduce the problem on MacOSX; the app just seems
to work fine on that target.

Best,
   Bernard.

------------------------------------------------------------------------------

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

log32-debug (text/plain, 52 B)

unhandled exception: Overflow
with history:
	<main>

log32-debug-strace (text/plain, 50 KB)

execve("./bin/i386-linux/play", ["play", "bug_32/clock.tts"], [/* 77 vars */]) = 0
[ Process PID=3435 runs in 32 bit mode. ]
brk(0)                                  = 0x81b3000
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
mmap2(NULL, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff776f000
access("/etc/ld.so.preload", R_OK)      = -1 ENOENT (No such file or directory)
open("./tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/i386-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/polyml/i386-linux/lib/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/i386-linux/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("./lib/x86_64-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/tina-x/lib/x86_64-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/polyml/x86_64-linux/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/tls", 0xffa4ada0)      = -1 ENOENT (No such file or directory)
open("/opt/lib/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/i686", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/opt/lib/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/opt/lib/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/sse2", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/opt/lib/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib/cmov", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/opt/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/opt/lib", 0xffa4ada0)          = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/tls", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/home/bernard/local/lib/x86_64-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/usr/lib/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/i686", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/tls", 0xffa4ada0)      = -1 ENOENT (No such file or directory)
open("/usr/lib/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/i686", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/usr/lib/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/usr/lib/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/sse2", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/usr/lib/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib/cmov", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/usr/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/usr/lib", {st_mode=S_IFDIR|0755, st_size=36864, ...}) = 0
open("/lib/tls/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/lib/tls/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/i686/sse2", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/lib/tls/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/i686/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/lib/tls/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/i686", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/lib/tls/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/lib/tls/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/sse2", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/lib/tls/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls/cmov", 0xffa4ada0)     = -1 ENOENT (No such file or directory)
open("/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/tls", 0xffa4ada0)          = -1 ENOENT (No such file or directory)
open("/lib/i686/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/i686/sse2/cmov", 0xffa4ada0) = -1 ENOENT (No such file or directory)
open("/lib/i686/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/i686/sse2", 0xffa4ada0)    = -1 ENOENT (No such file or directory)
open("/lib/i686/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/i686/cmov", 0xffa4ada0)    = -1 ENOENT (No such file or directory)
open("/lib/i686/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/i686", 0xffa4ada0)         = -1 ENOENT (No such file or directory)
open("/lib/sse2/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/sse2/cmov", 0xffa4ada0)    = -1 ENOENT (No such file or directory)
open("/lib/sse2/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/sse2", 0xffa4ada0)         = -1 ENOENT (No such file or directory)
open("/lib/cmov/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib/cmov", 0xffa4ada0)         = -1 ENOENT (No such file or directory)
open("/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat64("/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/etc/ld.so.cache", O_RDONLY|O_CLOEXEC) = 3
fstat64(3, {st_mode=S_IFREG|0644, st_size=145179, ...}) = 0
mmap2(NULL, 145179, PROT_READ, MAP_PRIVATE, 3, 0) = 0xfffffffff774b000
close(3)                                = 0
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
open("/lib/i386-linux-gnu/libm.so.6", O_RDONLY|O_CLOEXEC) = 3
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3\0\3\0\1\0\0\0\0F\0\0004\0\0\0"..., 512) = 512
fstat64(3, {st_mode=S_IFREG|0644, st_size=280108, ...}) = 0
mmap2(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff774a000
mmap2(NULL, 282784, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 3, 0) = 0xfffffffff7704000
mmap2(0xf7748000, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 3, 0x43000) = 0xfffffffff7748000
close(3)                                = 0
open("./tls/i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/i686/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/sse2/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/sse2/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/cmov/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/usr/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
open("/lib/i386-linux-gnu/libc.so.6", O_RDONLY|O_CLOEXEC) = 3
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3\0\3\0\1\0\0\0\340\233\1\0004\0\0\0"..., 512) = 512
fstat64(3, {st_mode=S_IFREG|0755, st_size=1754876, ...}) = 0
mmap2(NULL, 1759868, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 3, 0) = 0xfffffffff7556000
mmap2(0xf76fe000, 12288, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 3, 0x1a8000) = 0xfffffffff76fe000
mmap2(0xf7701000, 10876, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0xfffffffff7701000
close(3)                                = 0
mmap2(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff7555000
set_thread_area(0xffa4b260)             = 0
mprotect(0xf76fe000, 8192, PROT_READ)   = 0
mprotect(0xf7748000, 4096, PROT_READ)   = 0
mprotect(0x80d8000, 4096, PROT_READ)    = 0
mprotect(0xf7794000, 4096, PROT_READ)   = 0
munmap(0xf774b000, 145179)              = 0
sysinfo({uptime=1374389703221, loads=[36146444769280, 55864128534439044, 333349591718004] totalram=2251795519242239, freeram=4150461859, sharedram=17592186044416, bufferram=12} totalswap=18421045362112689152, freeswap=580507216943547648, procs=12}) = 0
mmap2(NULL, 24576, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff7769000
mprotect(0xf7769000, 4096, PROT_NONE)   = 0
mprotect(0xf776a000, 16384, PROT_READ|PROT_WRITE|PROT_EXEC) = 0
mprotect(0xf776e000, 4096, PROT_NONE)   = 0
sigaltstack({ss_sp=0xf776c000, ss_flags=0x2000 /* SS_??? */, ss_size=0}, NULL) = 0
mmap2(0xf8000000, 131072, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff8000000
fstat64(2, {st_mode=S_IFIFO|0600, st_size=0, ...}) = 0
ioctl(1, SNDCTL_TMR_TIMEBASE or SNDRV_TIMER_IOCTL_NEXT_DEVICE or TCGETS, 0xffa4b278) = -1 ENOTTY (Inappropriate ioctl for device)
fstat64(1, {st_mode=S_IFIFO|0600, st_size=0, ...}) = 0
fstat64(0, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 1), ...}) = 0
fstat64(0, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 1), ...}) = 0
rt_sigaction(SIG_0, NULL, {0xffa4b248, ~[HUP INT QUIT ILL KILL SEGV ALRM STKFLT CONT STOP XCPU WINCH RT_1 RT_2 RT_3 RT_4 RT_7 RT_9 RT_11 RT_12 RT_15 RT_17 RT_18 RT_20 RT_21 RT_23], SA_RESTORER|SA_RESTART|SA_INTERRUPT|SA_NODEFER|SA_RESETHAND|0x3795000, 0xffa4b2f4}, 8) = -1 EINVAL (Invalid argument)
rt_sigaction(SIGHUP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGINT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGQUIT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGILL, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTRAP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGABRT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGBUS, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGFPE, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGKILL, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGUSR1, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSEGV, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGUSR2, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPIPE, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGALRM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTERM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSTKFLT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGCHLD, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGCONT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSTOP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTSTP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTTIN, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTTOU, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGURG, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGXCPU, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGXFSZ, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGVTALRM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPROF, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGWINCH, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGIO, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPWR, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSYS, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_2, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_3, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_4, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_5, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_6, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_7, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_8, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_9, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_10, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_11, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_12, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_13, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_14, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_15, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_16, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_17, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_18, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_19, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_20, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_21, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_22, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_23, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_24, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_25, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_26, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_27, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_28, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_29, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_30, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_31, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_32, NULL, {SIG_DFL, [], 0}, 8) = 0
getrusage(RUSAGE_SELF, {ru_utime={68719476736000, 34359738368000}, ru_stime={816, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={68719476736000, 51539607552000}, ru_stime={816, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={103079215104000, 51539607552000}, ru_stime={816, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={103079215104000, 51539607552000}, ru_stime={816, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={137438953472000, 51539607552000}, ru_stime={816, 0}, ...}) = 0
mmap2(0x8000000, 131072, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x8000000
munmap(0xf8000000, 131072)              = 0
mremap(0x8000000, 131072, 294912, MREMAP_MAYMOVE) = 0x8000000
getrusage(RUSAGE_SELF, {ru_utime={137438953472000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={154618822656000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={154618822656000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={188978561024000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={188978561024000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={257698037760000, 51539607552000}, ru_stime={1788, 0}, ...}) = 0
mmap2(0xf8000000, 294912, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xfffffffff8000000
munmap(0x8000000, 294912)               = 0
mremap(0xf8000000, 294912, 327680, MREMAP_MAYMOVE) = 0xfffffffff8000000
getrusage(RUSAGE_SELF, {ru_utime={274877906944000, 51539607552000}, ru_stime={2048, 0}, ...}) = 0
write(2, "unhandled exception: Overflow\n", 30unhandled exception: Overflow
) = 30
write(2, "with history:\n", 14with history:
)         = 14
write(2, "\t<main>\n", 8	<main>
)               = 8
close(0)                                = 0
munmap(0xf8000000, 327680)              = 0
exit_group(1)                           = ?
+++ exited with 1 +++

log64-debug (text/plain, 13.3 KB)

[GC: Found 67,482,697,728 bytes of RAM; using 33,741,348,864 bytes (50.0% of RAM).]
[GC: Created heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map).]
[GC: Starting gc #1; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 26,704 bytes (9.3% of heap),]
[GC:	and nursery of size 260,016 bytes (90.7% of heap),]
[GC:	and nursery using 15,704 bytes (5.5% of heap, 6.0% of nursery).]
[GC: Growing stack of size 2,976 bytes to size 5,952 bytes, using 32 bytes.]
[GC: Finished gc #1; time 0 ms,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 48,400 bytes (16.9% of heap),]
[GC:	and nursery of size 238,320 bytes (83.1% of heap).]
[GC: Starting gc #2; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 48,400 bytes (16.9% of heap),]
[GC:	and nursery of size 238,320 bytes (83.1% of heap),]
[GC:	and nursery using 25,872 bytes (9.0% of heap, 10.9% of nursery).]
[GC: Growing stack of size 512 bytes to size 2,984 bytes, using 512 bytes.]
[GC: Finished gc #2; time 0 ms,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 77,296 bytes (27.0% of heap),]
[GC:	and nursery of size 209,424 bytes (73.0% of heap).]
[GC: Starting gc #3; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 77,296 bytes (27.0% of heap),]
[GC:	and nursery of size 209,424 bytes (73.0% of heap),]
[GC:	and nursery using 0 bytes (0.0% of heap, 0.0% of nursery).]
[GC: Growing stack of size 2,984 bytes to size 5,968 bytes, using 80 bytes.]
[GC: Finished gc #3; time 0 ms,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 83,304 bytes (29.1% of heap),]
[GC:	and nursery of size 203,416 bytes (70.9% of heap).]
[GC: Starting gc #4; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 83,304 bytes (29.1% of heap),]
[GC:	and nursery of size 203,416 bytes (70.9% of heap),]
[GC:	and nursery using 1,512 bytes (0.5% of heap, 0.7% of nursery).]
[GC: Growing stack of size 512 bytes to size 2,984 bytes, using 512 bytes.]
[GC: Finished gc #4; time 0 ms,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 87,840 bytes (30.6% of heap),]
[GC:	and nursery of size 198,880 bytes (69.4% of heap).]
[GC: Starting gc #5; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 87,840 bytes (30.6% of heap),]
[GC:	and nursery of size 198,880 bytes (69.4% of heap),]
[GC:	and nursery using 0 bytes (0.0% of heap, 0.0% of nursery).]
[GC: Growing stack of size 2,984 bytes to size 5,968 bytes, using 80 bytes.]
[GC: Finished gc #5; time 0 ms,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 93,848 bytes (32.7% of heap),]
[GC:	and nursery of size 192,872 bytes (67.3% of heap).]
[GC: Starting gc #6; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 93,848 bytes (32.7% of heap),]
[GC:	and nursery of size 192,872 bytes (67.3% of heap),]
[GC:	and nursery using 192,376 bytes (67.1% of heap, 99.7% of nursery).]
[GC: Created heap at 0x0000080000000000 of size 286,720 bytes (+ 8,192 bytes card/cross map).]
[GC: Starting major Cheney-copy;]
[GC:	from heap at 0x00007fc8372fb000 of size 286,720 bytes,]
[GC:	to heap at 0x0000080000000000 of size 286,720 bytes.]
[GC: Shrinking stack of size 5,968 bytes to size 1,536 bytes, using 192 bytes.]
[GC: Shrinking stack of size 5,952 bytes to size 4,096 bytes, using 1,152 bytes.]
[GC: Shrinking stack of size 5,968 bytes to size 1,536 bytes, using 192 bytes.]
[GC: Finished major Cheney-copy; copied 71,312 bytes.]
[GC: Releasing heap at 0x00007fc8372fb000 of size 286,720 bytes (+ 8,192 bytes card/cross map).]
[GC: Growing heap at 0x0000080000000000 of size 286,720 bytes (+ 8,192 bytes card/cross map),]
[GC:	to desired size of 647,168 bytes (+ 8,192 bytes card/cross map)]
[GC:	and minimum size of 73,728 bytes (+ 8,192 bytes card/cross map).]
[GC: Remapped heap at 0x0000080000000000 of size 286,720 bytes (+ 8,192 bytes card/cross map)]
[GC:	to heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map).]
[GC: Finished gc #6; time 0 ms,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 71,312 bytes (11.0% of heap),]
[GC:	and nursery of size 575,856 bytes (89.0% of heap).]
[GC: Starting gc #7; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 71,312 bytes (11.0% of heap),]
[GC:	and nursery of size 575,856 bytes (89.0% of heap),]
[GC:	and nursery using 648 bytes (0.1% of heap, 0.1% of nursery).]
[GC: Growing stack of size 4,096 bytes to size 8,192 bytes, using 1,168 bytes.]
[GC: Finished gc #7; time 0 ms,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 80,192 bytes (12.4% of heap),]
[GC:	and nursery of size 566,976 bytes (87.6% of heap).]
[GC: Starting gc #8; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 80,192 bytes (12.4% of heap),]
[GC:	and nursery of size 566,976 bytes (87.6% of heap),]
[GC:	and nursery using 371,952 bytes (57.5% of heap, 65.6% of nursery).]
[GC: Growing stack of size 8,192 bytes to size 16,384 bytes, using 5,248 bytes.]
[GC: Finished gc #8; time 8 ms,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 468,568 bytes (72.4% of heap),]
[GC:	and nursery of size 178,600 bytes (27.6% of heap).]
[GC: Starting gc #9; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 468,568 bytes (72.4% of heap),]
[GC:	and nursery of size 178,600 bytes (27.6% of heap),]
[GC:	and nursery using 178,104 bytes (27.5% of heap, 99.7% of nursery).]
[GC: Created heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map).]
[GC: Starting major Cheney-copy;]
[GC:	from heap at 0x0000080000000000 of size 647,168 bytes,]
[GC:	to heap at 0x00007fc8372a3000 of size 647,168 bytes.]
[GC: Shrinking stack of size 1,536 bytes to size 768 bytes, using 192 bytes.]
[GC: Shrinking stack of size 16,384 bytes to size 8,192 bytes, using 3,000 bytes.]
[GC: Shrinking stack of size 1,536 bytes to size 768 bytes, using 192 bytes.]
[GC: Finished major Cheney-copy; copied 72,024 bytes.]
[GC: Finished gc #9; time 8 ms,]
[GC:	heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 72,024 bytes (11.1% of heap),]
[GC:	and nursery of size 575,144 bytes (88.9% of heap).]
[GC: Starting gc #10; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 72,024 bytes (11.1% of heap),]
[GC:	and nursery of size 575,144 bytes (88.9% of heap),]
[GC:	and nursery using 2,496 bytes (0.4% of heap, 0.4% of nursery).]
[GC: Growing stack of size 8,192 bytes to size 16,384 bytes, using 5,248 bytes.]
[GC: Finished gc #10; time 4 ms,]
[GC:	heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 90,944 bytes (14.1% of heap),]
[GC:	and nursery of size 556,224 bytes (85.9% of heap).]
[GC: Starting gc #11; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 90,944 bytes (14.1% of heap),]
[GC:	and nursery of size 556,224 bytes (85.9% of heap),]
[GC:	and nursery using 555,856 bytes (85.9% of heap, 99.9% of nursery).]
[GC: Starting major Cheney-copy;]
[GC:	from heap at 0x00007fc8372a3000 of size 647,168 bytes,]
[GC:	to heap at 0x0000080000000000 of size 647,168 bytes.]
[GC: Shrinking stack of size 768 bytes to size 384 bytes, using 192 bytes.]
[GC: Shrinking stack of size 16,384 bytes to size 8,192 bytes, using 1,016 bytes.]
[GC: Shrinking stack of size 768 bytes to size 384 bytes, using 192 bytes.]
[GC: Finished major Cheney-copy; copied 103,896 bytes.]
[GC: Releasing heap at 0x00007fc8372a3000 of size 647,168 bytes (+ 8,192 bytes card/cross map).]
[GC: Growing heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map),]
[GC:	to desired size of 909,312 bytes (+ 8,192 bytes card/cross map)]
[GC:	and minimum size of 106,496 bytes (+ 8,192 bytes card/cross map).]
[GC: Remapped heap at 0x0000080000000000 of size 647,168 bytes (+ 8,192 bytes card/cross map)]
[GC:	to heap at 0x0000080000000000 of size 909,312 bytes (+ 8,192 bytes card/cross map).]
[GC: Finished gc #11; time 8 ms,]
[GC:	heap at 0x0000080000000000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 103,896 bytes (11.4% of heap),]
[GC:	and nursery of size 805,416 bytes (88.6% of heap).]
[GC: Starting gc #12; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x0000080000000000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 103,896 bytes (11.4% of heap),]
[GC:	and nursery of size 805,416 bytes (88.6% of heap),]
[GC:	and nursery using 804,912 bytes (88.5% of heap, 99.9% of nursery).]
[GC: Created heap at 0x00007fc837263000 of size 909,312 bytes (+ 8,192 bytes card/cross map).]
[GC: Starting major Cheney-copy;]
[GC:	from heap at 0x0000080000000000 of size 909,312 bytes,]
[GC:	to heap at 0x00007fc837263000 of size 909,312 bytes.]
[GC: Shrinking stack of size 384 bytes to size 192 bytes, using 192 bytes.]
[GC: Shrinking stack of size 8,192 bytes to size 4,096 bytes, using 728 bytes.]
[GC: Shrinking stack of size 384 bytes to size 192 bytes, using 192 bytes.]
[GC: Finished major Cheney-copy; copied 101,088 bytes.]
[GC: Finished gc #12; time 8 ms,]
[GC:	heap at 0x00007fc837263000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 101,088 bytes (11.1% of heap),]
[GC:	and nursery of size 808,224 bytes (88.9% of heap).]
Play version 3.4.2 -- 11/18/15 -- LAAS/CNRS
parsed net process_Can_1_TDMTimer2_1_TDMTimer1_1_TDMTimer0_1_Rcv_3_NodeLoop_3_StartRound_3_Rcv_2_NodeLoop_2_StartRound_2_Rcv_1_NodeLoop_1_StartRound_1
[GC: Starting gc #13; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc837263000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 101,088 bytes (11.1% of heap),]
[GC:	and nursery of size 808,224 bytes (88.9% of heap),]
[GC:	and nursery using 149,216 bytes (16.4% of heap, 18.5% of nursery).]
[GC: Growing stack of size 4,096 bytes to size 8,192 bytes, using 1,200 bytes.]
[GC: Finished gc #13; time 4 ms,]
[GC:	heap at 0x00007fc837263000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 258,536 bytes (28.4% of heap),]
[GC:	and nursery of size 650,776 bytes (71.6% of heap).]
0.064s

initial
date: 0
state 0: Can_1_srcv NodeLoop_1_sidle NodeLoop_2_sidle NodeLoop_3_sidle Rcv_1_sidle Rcv_2_sidle Rcv_3_sidle StartRound_1_sphase StartRound_2_sphase StartRound_3_sphase TDMTimer0_1_sidle TDMTimer1_1_sidle TDMTimer2_1_sidle {StartRound_1_vstarted=false,NodeLoop_1_vrcvround=0,NodeLoop_1_vstarts=0,NodeLoop_1_vvotes=0,NodeLoop_1_vadjusts=0,NodeLoop_1_vvoted=-1,NodeLoop_1_vadjuster=-1,NodeLoop_1_varmedTimer=false,NodeLoop_1_vphase=IDLE,NodeLoop_2_vrcvround=0,NodeLoop_2_vstarts=0,NodeLoop_2_vvotes=0,NodeLoop_2_vadjusts=0,NodeLoop_2_vvoted=-1,NodeLoop_2_vadjuster=-1,NodeLoop_2_varmedTimer=false,NodeLoop_2_vphase=IDLE,NodeLoop_3_vrcvround=0,NodeLoop_3_vstarts=0,NodeLoop_3_vvotes=0,NodeLoop_3_vadjusts=0,NodeLoop_3_vvoted=-1,NodeLoop_3_vadjuster=-1,NodeLoop_3_varmedTimer=false,NodeLoop_3_vphase=IDLE,Can_1_vm={mtype=Adjust,nid=-1,round=0,sid=-1,val=0},Main_1_vpktsOut=[{||},{||},{||}],Main_1_vf=0,Node_1_vpktsIn={||},Node_2_vpktsIn={||},Node_3_vpktsIn={||}}
enabled: StartRound_1_t0 [0,1] StartRound_1_t1 [0,0] StartRound_2_t0 [0,1] StartRound_2_t1 [0,0] StartRound_3_t0 [0,1] StartRound_3_t1 [0,0]
firable: StartRound_1_t0 StartRound_1_t1 StartRound_2_t0 StartRound_2_t1 StartRound_3_t0 StartRound_3_t1

? loaded path from bug_64/bug.scn

? [GC: Starting gc #14; requesting 512 nursery bytes and 0 old-gen bytes,]
[GC:	heap at 0x00007fc837263000 of size 909,312 bytes (+ 8,192 bytes card/cross map),]
[GC:	with old-gen of size 258,536 bytes (28.4% of heap),]
[GC:	and nursery of size 650,776 bytes (71.6% of heap),]
[GC:	and nursery using 650,296 bytes (71.5% of heap, 99.9% of nursery).]
[GC: Starting major Cheney-copy;]
[GC:	from heap at 0x00007fc837263000 of size 909,312 bytes,]
[GC:	to heap at 0x0000080000000000 of size 909,312 bytes.]
[GC: Shrinking stack of size 8,192 bytes to size 4,096 bytes, using 912 bytes.]
play: gc/object.c:59: splitHeader: Assertion `1 == (header & ((GC_header)0x1))' failed.

log64-debug-strace (text/plain, 26.5 KB)

execve("./bin/x86_64-linux/play", ["play", "bug_64/clock.tts"], [/* 77 vars */]) = 0
brk(0)                                  = 0x25fe000
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
mmap(NULL, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f47000
access("/etc/ld.so.preload", R_OK)      = -1 ENOENT (No such file or directory)
open("./tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/x86_64-linux/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/x86_64-linux/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/x86_64-linux/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/x86_64-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/x86_64-linux/lib/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/x86_64-linux/lib/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/x86_64-linux/lib/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/x86_64-linux/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("./lib/i386-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/i386-linux/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/i386-linux/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/i386-linux/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/tina-x/lib/i386-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/polyml/i386-linux/lib/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/i386-linux/lib/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/i386-linux/lib/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/i386-linux/lib/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/polyml/i386-linux/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lcs-5.2.0/lib/x86_64-linux", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/opt/lib/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/opt/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/opt/lib/tls", 0x7fffb3668ef0)    = -1 ENOENT (No such file or directory)
open("/opt/lib/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/opt/lib/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/opt/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/opt/lib", 0x7fffb3668ef0)        = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lib/x86_64-linux/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lib/x86_64-linux/tls", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lib/x86_64-linux/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/home/bernard/local/lib/x86_64-linux", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/usr/lib/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/usr/lib/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/usr/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/usr/lib/tls", 0x7fffb3668ef0)    = -1 ENOENT (No such file or directory)
open("/usr/lib/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/usr/lib/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/usr/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/usr/lib", {st_mode=S_IFDIR|0755, st_size=36864, ...}) = 0
open("/lib/tls/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/lib/tls/x86_64", 0x7fffb3668ef0) = -1 ENOENT (No such file or directory)
open("/lib/tls/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/lib/tls", 0x7fffb3668ef0)        = -1 ENOENT (No such file or directory)
open("/lib/x86_64/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/lib/x86_64", 0x7fffb3668ef0)     = -1 ENOENT (No such file or directory)
open("/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
stat("/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
open("/etc/ld.so.cache", O_RDONLY|O_CLOEXEC) = 3
fstat(3, {st_mode=S_IFREG|0644, st_size=145179, ...}) = 0
mmap(NULL, 145179, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7fd694f23000
close(3)                                = 0
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
open("/lib/x86_64-linux-gnu/libm.so.6", O_RDONLY|O_CLOEXEC) = 3
read(3, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\20V\0\0\0\0\0\0"..., 832) = 832
fstat(3, {st_mode=S_IFREG|0644, st_size=1071552, ...}) = 0
mmap(NULL, 3166568, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 3, 0) = 0x7fd694a21000
mprotect(0x7fd694b26000, 2093056, PROT_NONE) = 0
mmap(0x7fd694d25000, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 3, 0x104000) = 0x7fd694d25000
close(3)                                = 0
open("./tls/x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/x86_64/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/usr/lib/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/lib/libdl.so.2", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
open("/lib/x86_64-linux-gnu/libdl.so.2", O_RDONLY|O_CLOEXEC) = 3
read(3, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\320\16\0\0\0\0\0\0"..., 832) = 832
mmap(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f22000
fstat(3, {st_mode=S_IFREG|0644, st_size=14664, ...}) = 0
mmap(NULL, 2109744, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 3, 0) = 0x7fd69481d000
mprotect(0x7fd694820000, 2093056, PROT_NONE) = 0
mmap(0x7fd694a1f000, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 3, 0x2000) = 0x7fd694a1f000
close(3)                                = 0
open("./tls/x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/x86_64-linux/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/tls/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/x86_64/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("./lib/i386-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/tina-x/lib/i386-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/polyml/i386-linux/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/home/bernard/local/lib/x86_64-linux/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/usr/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
open("/lib/libc.so.6", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
access("/etc/ld.so.nohwcap", F_OK)      = -1 ENOENT (No such file or directory)
open("/lib/x86_64-linux-gnu/libc.so.6", O_RDONLY|O_CLOEXEC) = 3
read(3, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\320\37\2\0\0\0\0\0"..., 832) = 832
fstat(3, {st_mode=S_IFREG|0755, st_size=1840928, ...}) = 0
mmap(NULL, 3949248, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 3, 0) = 0x7fd694458000
mprotect(0x7fd694613000, 2093056, PROT_NONE) = 0
mmap(0x7fd694812000, 24576, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 3, 0x1ba000) = 0x7fd694812000
mmap(0x7fd694818000, 17088, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x7fd694818000
close(3)                                = 0
mmap(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f21000
mmap(NULL, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f1f000
arch_prctl(ARCH_SET_FS, 0x7fd694f1f740) = 0
mprotect(0x7fd694812000, 16384, PROT_READ) = 0
mprotect(0x7fd694a1f000, 4096, PROT_READ) = 0
mprotect(0x7fd694d25000, 4096, PROT_READ) = 0
mprotect(0x8f1000, 4096, PROT_READ)     = 0
mprotect(0x7fd694f49000, 4096, PROT_READ) = 0
munmap(0x7fd694f23000, 145179)          = 0
sysinfo({uptime=168520, loads=[224, 5856, 8320] totalram=67482697728, freeram=53277925376, sharedram=25640960, bufferram=317906944} totalswap=2147479552, freeswap=2147479552, procs=1444}) = 0
mmap(NULL, 24576, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f41000
mprotect(0x7fd694f41000, 4096, PROT_NONE) = 0
mprotect(0x7fd694f42000, 16384, PROT_READ|PROT_WRITE|PROT_EXEC) = 0
mprotect(0x7fd694f46000, 4096, PROT_NONE) = 0
sigaltstack({ss_sp=0x7fd694f44000, ss_flags=0, ss_size=8192}, NULL) = 0
mmap(0xf80000000000, 294912, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694ed7000
fstat(2, {st_mode=S_IFIFO|0600, st_size=0, ...}) = 0
ioctl(1, SNDCTL_TMR_TIMEBASE or SNDRV_TIMER_IOCTL_NEXT_DEVICE or TCGETS, 0x7fffb3669680) = -1 ENOTTY (Inappropriate ioctl for device)
fstat(1, {st_mode=S_IFIFO|0600, st_size=0, ...}) = 0
fstat(0, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 1), ...}) = 0
fstat(0, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 1), ...}) = 0
rt_sigaction(SIG_0, NULL, {0x7fd694ee59a0, ~[ILL ABRT FPE USR1 USR2 PIPE STKFLT STOP TSTP TTOU XFSZ VTALRM WINCH PWR SYS RT_1 RT_4 RT_6 RT_16 RT_17 RT_18 RT_19 RT_20 RT_21 RT_22 RT_23 RT_24 RT_25 RT_26 RT_27 RT_28 RT_29 RT_30 RT_31], SA_SIGINFO|0x559a20}, 8) = -1 EINVAL (Invalid argument)
rt_sigaction(SIGHUP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGINT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGQUIT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGILL, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTRAP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGABRT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGBUS, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGFPE, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGKILL, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGUSR1, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSEGV, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGUSR2, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPIPE, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGALRM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTERM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSTKFLT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGCHLD, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGCONT, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSTOP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTSTP, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTTIN, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGTTOU, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGURG, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGXCPU, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGXFSZ, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGVTALRM, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPROF, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGWINCH, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGIO, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGPWR, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGSYS, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_2, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_3, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_4, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_5, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_6, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_7, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_8, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_9, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_10, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_11, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_12, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_13, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_14, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_15, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_16, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_17, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_18, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_19, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_20, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_21, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_22, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_23, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_24, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_25, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_26, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_27, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_28, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_29, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_30, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_31, NULL, {SIG_DFL, [], 0}, 8) = 0
rt_sigaction(SIGRT_32, NULL, {SIG_DFL, [], 0}, 8) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 64000}, ru_stime={0, 4000}, ...}) = 0
mmap(0x80000000000, 294912, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x80000000000
munmap(0x7fd694ed7000, 294912)          = 0
mremap(0x80000000000, 294912, 655360, MREMAP_MAYMOVE) = 0x80000000000
getrusage(RUSAGE_SELF, {ru_utime={0, 68000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 76000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 76000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 88000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 92000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 112000}, ru_stime={0, 8000}, ...}) = 0
mmap(0xf80000000000, 655360, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694e7f000
getrusage(RUSAGE_SELF, {ru_utime={0, 116000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 120000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 120000}, ru_stime={0, 8000}, ...}) = 0
open("bug_64/clock.tts/clock.net", O_RDONLY) = 3
fstat(3, {st_mode=S_IFREG|0644, st_size=9011, ...}) = 0
lseek(3, 0, SEEK_CUR)                   = 0
fstat(3, {st_mode=S_IFREG|0644, st_size=9011, ...}) = 0
close(3)                                = 0
stat("bug_64/clock.tts/clock.net", {st_mode=S_IFREG|0644, st_size=9011, ...}) = 0
open("bug_64/clock.tts/clock.net", O_RDONLY) = 3
fstat(3, {st_mode=S_IFREG|0644, st_size=9011, ...}) = 0
lseek(3, 0, SEEK_CUR)                   = 0
fstat(3, {st_mode=S_IFREG|0644, st_size=9011, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 124000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_CHILDREN, {ru_utime={0, 0}, ru_stime={0, 0}, ...}) = 0
read(3, "\nnet process_Can_1_TDMTimer2_1_T"..., 4096) = 4096
read(3, "2_1_sarmed\ntr TDMTimer2_1_t4_Nod"..., 4096) = 4096
getrusage(RUSAGE_SELF, {ru_utime={0, 148000}, ru_stime={0, 8000}, ...}) = 0
munmap(0x7fd694e7f000, 655360)          = 0
mremap(0x80000000000, 655360, 917504, MREMAP_MAYMOVE) = 0x80000000000
getrusage(RUSAGE_SELF, {ru_utime={0, 160000}, ru_stime={0, 8000}, ...}) = 0
read(3, "  [0,0]   NodeLoop_3_sidle -> No"..., 4096) = 819
read(3, "", 4096)                       = 0
brk(0)                                  = 0x25fe000
brk(0x261f000)                          = 0x261f000
open("bug_64/clock.tts/clock.so", O_RDONLY|O_CLOEXEC) = 4
read(4, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\300N\0\0\0\0\0\0"..., 832) = 832
fstat(4, {st_mode=S_IFREG|0755, st_size=175544, ...}) = 0
getcwd("/home/bernard/local/tina-3.0/default/tools", 128) = 43
mmap(NULL, 2262152, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 4, 0) = 0x7fd69422f000
mprotect(0x7fd694256000, 2093056, PROT_NONE) = 0
mmap(0x7fd694455000, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 4, 0x26000) = 0x7fd694455000
mmap(0x7fd694457000, 1160, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x7fd694457000
close(4)                                = 0
mprotect(0x7fd694455000, 4096, PROT_READ) = 0
mmap(NULL, 16777216, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd69322f000
madvise(0x7fd69322f000, 16777216, MADV_RANDOM) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 188000}, ru_stime={0, 8000}, ...}) = 0
mmap(0x80000000000, 917504, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694e3f000
getrusage(RUSAGE_SELF, {ru_utime={0, 200000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 204000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_CHILDREN, {ru_utime={0, 0}, ru_stime={0, 0}, ...}) = 0
write(1, "Play version 3.4.2 -- 11/18/15 -"..., 195Play version 3.4.2 -- 11/18/15 -- LAAS/CNRS
parsed net process_Can_1_TDMTimer2_1_TDMTimer1_1_TDMTimer0_1_Rcv_3_NodeLoop_3_StartRound_3_Rcv_2_NodeLoop_2_StartRound_2_Rcv_1_NodeLoop_1_StartRound_1
) = 195
getrusage(RUSAGE_SELF, {ru_utime={0, 216000}, ru_stime={0, 8000}, ...}) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 220000}, ru_stime={0, 8000}, ...}) = 0
write(1, "0.080s\n\ninitial\ndate: 0\nstate 0:"..., 12300.080s

initial
date: 0
state 0: Can_1_srcv NodeLoop_1_sidle NodeLoop_2_sidle NodeLoop_3_sidle Rcv_1_sidle Rcv_2_sidle Rcv_3_sidle StartRound_1_sphase StartRound_2_sphase StartRound_3_sphase TDMTimer0_1_sidle TDMTimer1_1_sidle TDMTimer2_1_sidle {StartRound_1_vstarted=false,NodeLoop_1_vrcvround=0,NodeLoop_1_vstarts=0,NodeLoop_1_vvotes=0,NodeLoop_1_vadjusts=0,NodeLoop_1_vvoted=-1,NodeLoop_1_vadjuster=-1,NodeLoop_1_varmedTimer=false,NodeLoop_1_vphase=IDLE,NodeLoop_2_vrcvround=0,NodeLoop_2_vstarts=0,NodeLoop_2_vvotes=0,NodeLoop_2_vadjusts=0,NodeLoop_2_vvoted=-1,NodeLoop_2_vadjuster=-1,NodeLoop_2_varmedTimer=false,NodeLoop_2_vphase=IDLE,NodeLoop_3_vrcvround=0,NodeLoop_3_vstarts=0,NodeLoop_3_vvotes=0,NodeLoop_3_vadjusts=0,NodeLoop_3_vvoted=-1,NodeLoop_3_vadjuster=-1,NodeLoop_3_varmedTimer=false,NodeLoop_3_vphase=IDLE,Can_1_vm={mtype=Adjust,nid=-1,round=0,sid=-1,val=0},Main_1_vpktsOut=[{||},{||},{||}],Main_1_vf=0,Node_1_vpktsIn={||},Node_2_vpktsIn={||},Node_3_vpktsIn={||}}
enabled: StartRound_1_t0 [0,1] StartRound_1_t1 [0,0] StartRound_2_t0 [0,1] StartRound_2_t1 [0,0] StartRound_3_t0 [0,1] StartRound_3_t1 [0,0]
firable: StartRound_1_t0 StartRound_1_t1 StartRound_2_t0 StartRound_2_t1 StartRound_3_t0 StartRound_3_t1

? ) = 1230
read(0, "l bug_64/bug.scn\n", 4096)     = 17
open("bug_64/bug.scn", O_RDONLY)        = 4
fstat(4, {st_mode=S_IFREG|0644, st_size=1124, ...}) = 0
lseek(4, 0, SEEK_CUR)                   = 0
fstat(4, {st_mode=S_IFREG|0644, st_size=1124, ...}) = 0
read(4, "StartRound_1_t0@0 NodeLoop_1_t2_"..., 4096) = 1124
read(4, "", 4096)                       = 0
close(4)                                = 0
write(1, "loaded path from bug_64/bug.scn\n"..., 35loaded path from bug_64/bug.scn

? ) = 35
read(0, "l bug_64/bug.scn\n", 4096)     = 17
open("bug_64/bug.scn", O_RDONLY)        = 4
fstat(4, {st_mode=S_IFREG|0644, st_size=1124, ...}) = 0
lseek(4, 0, SEEK_CUR)                   = 0
fstat(4, {st_mode=S_IFREG|0644, st_size=1124, ...}) = 0
read(4, "StartRound_1_t0@0 NodeLoop_1_t2_"..., 4096) = 1124
read(4, "", 4096)                       = 0
close(4)                                = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 256000}, ru_stime={0, 8000}, ...}) = 0
write(2, "play: gc/object.c:59: splitHeade"..., 88play: gc/object.c:59: splitHeader: Assertion `1 == (header & ((GC_header)0x1))' failed.
) = 88
mmap(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fd694f40000
rt_sigprocmask(SIG_UNBLOCK, [ABRT], NULL, 8) = 0
gettid()                                = 3448
tgkill(3448, 3448, SIGABRT)             = 0
--- SIGABRT {si_signo=SIGABRT, si_code=SI_TKILL, si_pid=3448, si_uid=3402} ---
+++ killed by SIGABRT (core dumped) +++