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

[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20140715/289299c3/attachment.html>