It does work on some graphs, still, right? It's a high-end relatively new CPU, perhaps Atlas and/or gcc has a problem with it?
Can you post the output of 'ldd theta', i.e. (sage-sh) dimpase@clpc171:sage$ ldd `which theta` linux-vdso.so.1 (0x00007ffd2c34f000) libsdp.so.0 => /home/scratch/dimpase/sage/sage/local/lib/libsdp.so.0 (0x00007f74f6ec3000) liblapack.so.3 => /home/scratch/dimpase/sage/sage/local/lib/liblapack.so.3 (0x00007f74f65fc000) libcblas.so.3 => /home/scratch/dimpase/sage/sage/local/lib/libcblas.so.3 (0x00007f74f63da000) libf77blas.so.3 => /home/scratch/dimpase/sage/sage/local/lib/libf77blas.so.3 (0x00007f74f61b8000) libatlas.so.3 => /home/scratch/dimpase/sage/sage/local/lib/libatlas.so.3 (0x00007f74f5b2a000) libgfortran.so.3 => /lib64/libgfortran.so.3 (0x00007f74f57ca000) libquadmath.so.0 => /lib64/libquadmath.so.0 (0x00007f74f558b000) libm.so.6 => /lib64/libm.so.6 (0x00007f74f5288000) libc.so.6 => /lib64/libc.so.6 (0x00007f74f4ec7000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f74f4caa000) libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f74f4a92000) /lib64/ld-linux-x86-64.so.2 (0x000055f7fadea000) as well as the CSDP installation log: SAGE_ROOT/logs/pkgs/csdp-6.2.log On Wednesday, May 11, 2016 at 12:58:43 PM UTC+1, Sihuang Hu wrote: > > I just did what you suggested, and it didn't work. I got those messages: > > (sage-sh) shhu@shhu-ee-tau:~$ theta 2k2 > Segmentation fault (core dumped) > > My Cpu information is attached. > Ubuntu 14.04LTS > SageMath Version 7.0, Release Date: 2016-01-19 > > > 在 2016年5月10日星期二 UTC+3下午11:55:55，Dima Pasechnik写道： >> >> here is the input for theta executable: >> >> 4 >> 2 >> 1 2 >> 3 4 >> >> (also attached) >> save it to a file named, say, 2k2, fire up "sage -sh" >> and run >> >> theta 2k2 >> >> I get >> >> $ theta 2k2 >> Graph is of size 4 2 >> C block 1, blocksize, 4 >> Checking constraint 1 >> Checking constraint 2 >> Checking constraint 3 >> Iter: 0 Ap: 0.00e+00 Pobj: 1.0666667e+02 Ad: 0.00e+00 Dobj: >> 0.0000000e+00 >> [... edited] >> Iter: 15 Ap: 1.00e+00 Pobj: 2.0000000e+00 Ad: 9.00e-01 Dobj: >> 2.0000000e+00 >> Success: SDP solved >> Primal objective value: 2.0000000e+00 >> Dual objective value: 2.0000000e+00 >> Relative primal infeasibility: 1.11e-16 >> Relative dual infeasibility: 2.12e-10 >> Real Relative Gap: 8.56e-10 >> XZ Relative Gap: 9.63e-10 >> DIMACS error measures: 1.11e-16 0.00e+00 5.30e-10 0.00e+00 8.56e-10 >> 9.63e-10 >> The Lovasz Theta Number is 2.0000000e+00 >> >> Does this work for you? >> >> -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
