scipopt / scip

SCIP - Solving Constraint Integer Programs
Other
366 stars 63 forks source link

question: compiled with GMP=on, how to ensure GMP is used with CVXPY? #85

Closed dzmitry-lahoda closed 5 months ago

dzmitry-lahoda commented 5 months ago

CVXPY can use next parameters agains SCIP, do not see https://www.scipopt.org/doc-5.0.1/html/PARAMETERS.php

compiled SCIP with GMP https://github.com/scipopt/scip/pull/81 and its python wrapper too

here is SCIP binary from PyScipOpt package

warning: Git tree '/home/dz/github.com/angeris/cfmm-routing-code' is dirty
(cfmm-routing-code-py3.11) ldd result/lib/python3.11/site-packages/pyscipopt/scip.cpython-311-x86_64-linux-gnu.so 
        linux-vdso.so.1 (0x00007fff637ef000)
        libscip.so.8.0 => /nix/store/ky0r5r8gifddggyqvai8y57c5xjilv1i-scip/lib/libscip.so.8.0 (0x00007efdad800000)
        libc.so.6 => /nix/store/p3jshbwxiwifm1py0yq544fmdyy98j8a-glibc-2.38-27/lib/libc.so.6 (0x00007efdad617000)
        libz.so.1 => /nix/store/mrzfvc2gjy2mia0k4vrb95f2iff6xcxm-zlib-1.3/lib/libz.so.1 (0x00007efdae84e000)
        libreadline.so.8 => /nix/store/k8jbalvsn0wizq3zdh10iwallpwmwbgd-readline-8.2p7/lib/libreadline.so.8 (0x00007efdae5a7000)
        libgmp.so.10 => /nix/store/0w3i66gdz57dsmzb59zqjdnb5v8c9hzz-gmp-with-cxx-6.3.0/lib/libgmp.so.10 (0x00007efdae504000)
        libgmpxx.so.4 => /nix/store/0w3i66gdz57dsmzb59zqjdnb5v8c9hzz-gmp-with-cxx-6.3.0/lib/libgmpxx.so.4 (0x00007efdae845000)
        libtbb.so.2 => /nix/store/hkglv8dgr11mb7q42m4l3kdjqkzh6r0n-tbb-all-cmake/lib/libtbb.so.2 (0x00007efdad5d1000)
        librt.so.1 => /nix/store/p3jshbwxiwifm1py0yq544fmdyy98j8a-glibc-2.38-27/lib/librt.so.1 (0x00007efdae83e000)
        libquadmath.so.0 => /nix/store/4zp05qkzh9s3c3k7pp9d36vhiz3x8h9l-gcc-13.2.0-lib/lib/libquadmath.so.0 (0x00007efdad58a000)
        libblas.so.3 => /nix/store/frgp9ya177wwmxbny9la7pvjan6pqdhv-blas-3/lib/libblas.so.3 (0x00007efdabb28000)
        libgfortran.so.5 => /nix/store/3qphc0y25ligpb7c8i66y8sakg495jb8-gfortran-13.2.0-lib/lib/libgfortran.so.5 (0x00007efdab800000)
        libstdc++.so.6 => /nix/store/4zp05qkzh9s3c3k7pp9d36vhiz3x8h9l-gcc-13.2.0-lib/lib/libstdc++.so.6 (0x00007efdab400000)
        libm.so.6 => /nix/store/p3jshbwxiwifm1py0yq544fmdyy98j8a-glibc-2.38-27/lib/libm.so.6 (0x00007efdab71e000)
        libgcc_s.so.1 => /nix/store/4zp05qkzh9s3c3k7pp9d36vhiz3x8h9l-gcc-13.2.0-lib/lib/libgcc_s.so.1 (0x00007efdae4df000)
        /lib64/ld-linux-x86-64.so.2 (0x00007efdae870000)
        libncursesw.so.6 => /nix/store/v1rk2bvgc8s71cyrhzlcpr4i33gkpx2w-ncurses-6.4/lib/libncursesw.so.6 (0x00007efdab6aa000)
        libdl.so.2 => /nix/store/p3jshbwxiwifm1py0yq544fmdyy98j8a-glibc-2.38-27/lib/libdl.so.2 (0x00007efdae837000)
        libpthread.so.0 => /nix/store/p3jshbwxiwifm1py0yq544fmdyy98j8a-glibc-2.38-27/lib/libpthread.so.0 (0x00007efdae832000)
        libgomp.so.1 => /nix/store/4zp05qkzh9s3c3k7pp9d36vhiz3x8h9l-gcc-13.2.0-lib/lib/libgomp.so.1 (0x00007efdabadb000)
(cfmm-routing-code-py3.11) 

image

I get this

Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
(node 10) forcing the solution of an LP (last LP 13)...
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
Cannot set feasibility tolerance to small value 1e-11 without GMP - using 1e-10.
[solve.c:3916] ERROR: (node 10) unresolved numerical troubles in LP 14 cannot be dealt with
[solve.c:4197] ERROR: Error <-6> in function call
[solve.c:4993] ERROR: Error <-6> in function call
[scip_solve.c:2782] ERROR: Error <-6> in function call
dzmitry-lahoda commented 5 months ago

here is scip compiled output

(cfmm-routing-code-py3.11) ./result/bin/scip 
SCIP version 8.0.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 6.0.3.5] [GitHash: NoGitInfo]
Copyright (C) 2002-2022 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

External libraries: 
  Readline 8.2         GNU library for command line editing (gnu.org/s/readline)
  Soplex 6.0.3.5       Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: NoGitInfo]
  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
  ZLIB 1.3             General purpose compression library by J. Gailly and M. Adler (zlib.net)
  GMP 6.3.0            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  ZIMPL 3.5.3          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
  AMPL/MP 4e2d45c4     AMPL .nl file reader library (github.com/ampl/mp)
  PaPILO 2.1.5         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
  bliss 0.77           Computing Graph Automorphism Groups by T. Junttila and P. Kaski (www.tcs.hut.fi/Software/bliss/)

user parameter file <scip.set> not found - using default parameters
dzmitry-lahoda commented 5 months ago

error from soplex, it is default GMP=on in cmake files so..

Xue-Ya commented 1 month ago

Hi, have you finally solved this problem? So, do I need to ban the soplex? thx!!