[Scip] Problem solving a large problems with many binary variables

[Gregor Hendel]

Dear Alan,

what happens if you pass the Gurobi solution to SCIP? It most likely 
complains about some small violation of a bound or constraint. Can you 
please do so and send us the message of SCIP after passing the solution?

Regards,
Gregor

Am 15.07.2014 17:15, schrieb Alan Porto Bontempo:
> Hi,
>
> I have a large problem to solve:
>
> original problem has 3646 variables (503 bin, 0 int, 0 impl, 3143 
> cont) and 7619 constraints
>
> I know this problem has a solution because gurobi solve it very fast 
> and scip says me it is infeasible.
>
> For now i am using this sets of configurations:
>
> # maximal time in seconds to run
> # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
> limits/time = 1000
>
> # solving stops, if the absolute gap = |primalbound - dualbound| is 
> below the given value
> # [type: real, range: [0,1.79769313486232e+308], default: 0]
> limits/absgap = 1e-5
>
> # solving stops, if the relative gap = |primal - 
> dual|/MIN(|dual|,|primal|) is below the given value
> # [type: real, range: [0,1.79769313486232e+308], default: 0]
> limits/gap = 0.0001
>
> # maximal memory usage in MB; reported memory usage is lower than real 
> memory usage!
> # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
> limits/memory = 250
>
> # maximal number of nodes to process (-1: no limit)
> # [type: longint, range: [-1,9223372036854775807], default: -1]
> limits/nodes = 40000
>
> # maximal number of total nodes (incl. restarts) to process (-1: no limit)
> # [type: longint, range: [-1,9223372036854775807], default: -1]
> limits/totalnodes = 200000
>
> ################## precisão numérica
> # absolute values smaller than this are considered zero
> # [type: real, range: [1e-20,0.001], default: 1e-09]
> numerics/epsilon = 1e-9
>
> # absolute values of sums smaller than this are considered zero
> # [type: real, range: [1e-17,0.001], default: 1e-06]
> numerics/sumepsilon = 1e-6
>
> # feasibility tolerance for constraints
> # [type: real, range: [1e-17,0.001], default: 1e-06]
> numerics/feastol = 1e-8
>
> ########### LP solver
> # iteration limit for each single LP solve (-1: no limit)
> # [type: longint, range: [-1,9223372036854775807], default: -1]
> #lp/iterlim = 1000
>
> # iteration limit for initial root LP solve (-1: no limit)
> # [type: longint, range: [-1,9223372036854775807], default: -1]
> #lp/rootiterlim = 2000
>
> # should the LP solver display status messages?
> # [type: bool, range: {TRUE,FALSE}, default: FALSE]
> #display/lpinfo = TRUE
>
> What other configurations i can set to try to make my problem 
> feasible? Or what changes can I make to its set of configurations?
>
> In the gurobi solution there are many small negative values, how do i 
> allow this kind of things in scip?
>
> Thanks.
>
> -- 
> Até.
>
> Alan Porto Bontempo
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20140715/26d85075/attachment.html>