MINTO, a Mixed INTeger Optimizer  --  version 3.1.0 (LINUX/CPLEX 8.1)
Copyright (C) 1992-2004  --  M.W.P. Savelsbergh

ILOG CPLEX 9.000, licensed to "arizona-tempe, az", options: e m b q p=4 
*** glibc detected *** minto: realloc(): invalid old size: 0xb7d4b010 ***
======= Backtrace: =========
/lib/tls/i686/cmov/libc.so.6[0xb7ea818a]
/lib/tls/i686/cmov/libc.so.6(realloc+0xfe)[0xb7eaa08e]
minto[0x8079398]
minto[0x804a541]
minto[0x8049e3f]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xdc)[0xb7e54ebc]
minto[0x8049cf1]
======= Memory map: ========
08048000-082db000 r-xp 00000000 08:04 6389847    /home/mittelma/mip/minto
082db000-082f3000 rwxp 00292000 08:04 6389847    /home/mittelma/mip/minto
082f3000-08410000 rwxp 082f3000 00:00 0          [heap]
b7700000-b7721000 rwxp b7700000 00:00 0 
b7721000-b7800000 ---p b7721000 00:00 0 
b781c000-b782f000 rwxp b781c000 00:00 0 
b78e4000-b78ef000 rwxp b78e4000 00:00 0 
b7913000-b793f000 rwxp b7913000 00:00 0 
b7ae8000-b7afe000 rwxp b7ae8000 00:00 0 
b7c60000-b7c6b000 rwxp b7c60000 00:00 0 
b7c8f000-b7ca5000 rwxp b7c8f000 00:00 0 
b7ced000-b7d03000 rwxp b7ced000 00:00 0 
b7d4b000-b7d61000 rwxp b7d4b000 00:00 0 
b7da9000-b7db1000 rwxp b7da9000 00:00 0 
b7de0000-b7deb000 r-xp 00000000 08:01 551680     /lib/libgcc_s.so.1
b7deb000-b7dec000 rwxp 0000a000 08:01 551680     /lib/libgcc_s.so.1
b7dec000-b7dfb000 r-xp 00000000 08:01 585247     /lib/tls/i686/cmov/libresolv-2.5.so
b7dfb000-b7dfd000 rwxp 0000f000 08:01 585247     /lib/tls/i686/cmov/libresolv-2.5.so
b7dfd000-b7dff000 rwxp b7dfd000 00:00 0 
b7dff000-b7e03000 r-xp 00000000 08:01 585234     /lib/tls/i686/cmov/libnss_dns-2.5.so
b7e03000-b7e05000 rwxp 00003000 08:01 585234     /lib/tls/i686/cmov/libnss_dns-2.5.so
b7e05000-b7e07000 r-xp 00000000 08:01 551705     /lib/libnss_mdns4_minimal.so.2
b7e07000-b7e08000 rwxp 00001000 08:01 551705     /lib/libnss_mdns4_minimal.so.2
b7e08000-b7e11000 r-xp 00000000 08:01 585236     /lib/tls/i686/cmov/libnss_files-2.5.so
b7e11000-b7e13000 rwxp 00008000 08:01 585236     /lib/tls/i686/cmov/libnss_files-2.5.so
b7e13000-b7e26000 r-xp 00000000 08:01 585230     /lib/tls/i686/cmov/libnsl-2.5.so
b7e26000-b7e28000 rwxp 00012000 08:01 585230     /lib/tls/i686/cmov/libnsl-2.5.so
b7e28000-b7e2a000 rwxp b7e28000 00:00 0 
b7e3e000-b7e3f000 rwxp b7e3e000 00:00 0 
b7e3f000-b7f7a000 r-xp 00000000 08:01 585219     /lib/tls/i686/cmov/libc-2.5.so
b7f7a000-b7f7b000 r-xp 0013b000 08:01 585219     /lib/tls/i686/cmov/libc-2.5.so
b7f7b000-b7f7d000 rwxp 0013c000 08:01 585219     /lib/tls/i686/cmov/libc-2.5.so
b7f7d000-b7f81000 rwxp b7f7d000 00:00 0 
b7f81000-b7f94000 r-xp 00000000 08:01 585245     /lib/tls/i686/cmov/libpthread-2.5.so
b7f94000-b7f96000 rwxp 00013000 08:01 585245     /lib/tls/i686/cmov/libpthread-2.5.so
b7f96000-b7f98000 rwxp b7f96000 00:00 0 
b7f98000-b7fbd000 r-xp 00000000 08:01 585227     /lib/tls/i686/cmov/libm-2.5.so
b7fbd000-b7fbf000 rwxp 00024000 08:01 585227     /lib/tls/i686/cmov/libm-2.5.so
b7fbf000-b7fc7000 r-xp 00000000 08:01 585240     /lib/tls/i686/cmov/libnss_nis-2.5.so
b7fc7000-b7fc9000 rwxp 00007000 08:01 585240     /lib/tls/i686/cmov/libnss_nis-2.5.so
b7fc9000-b7fd0000 r-xp 00000000 08:01 585232     /lib/tls/i686/cmov/libnss_compat-2.5.so
b7fd0000-b7fd2000 rwxp 00006000 08:01 585232     /lib/tls/i686/cmov/libnss_compat-2.5.so
b7fd2000-b7fd5000 rwxp b7fd2000 00:00 0 
b7fd5000-b7fee000 r-xp 00000000 08:01 551637     /lib/ld-2.5.so
b7fee000-b7ff0000 rwxp 00019000 08:01 551637     /lib/ld-2.5.so
bfc60000-bfc75000 rwxp bfc60000 00:00 0          [stack]
ffffe000-fffff000 r-xp 00000000 00:00 0          [vdso]
Command terminated by signal 6
0.02user 0.00system 0:00.08elapsed 24%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+871minor)pagefaults 0swaps