[Scip] count feasible solutions - bug?
Raphael Clifford
drraph at gmail.com
Tue Oct 30 17:21:07 MET 2012
I have a toy IP included below. I would like to count the number of
feasible solutions (I am using
http://scip.zib.de/download.php?fname=scip-3.0.0.linux.x86.gnu.opt.spx.zip).
If I read it in and then run
count
It whirs away for a couple of minutes and then gives
SCIP Status : problem is solved [infeasible]
Solving Time (sec) : 109.47
Solving Nodes : 78487
Primal Bound : +1.00000000000000e+20 (0 solutions)
Dual Bound : +1.00000000000000e+20
Gap : 0.00 %
Feasible Solutions : 13120 (0 non-trivial feasible subtrees)
I don't understand this as if I now do
free
read "almgren.3.lp"
optimize
I get
SCIP Status : problem is solved [optimal solution found]
Solving Time (sec) : 0.01
Solving Nodes : 1
Primal Bound : +9.32346000000000e+05 (1 solutions)
Dual Bound : +9.32346000000000e+05
Gap : 0.00 %
Why does the count method say it is infeasible and give those
primal/dual bounds? Also, as an aside, what does 0 non-trivial
feasible subtrees mean?
Raphael
\ SCIP STATISTICS
\ Problem name : Almgren3
\ Variables : 16 (0 binary, 16 integer, 0 implicit integer, 0
continuous)
\ Constraints : 5
\ Obj. scale : 1
\ Obj. offset : 0
Minimize
Obj: +9534.5 C__1 +9523 C__2 +9517 C__3 +9514 C__4 -9534 C__5 -9522
C__6 -9516 C__7 -9513 C__8 +12.5 C__9
+18 C__10 +9.5 C__11 -12 C__12 -17.5 C__13 -9 C__14 +2.5 C__15 -2 C__16
Subject to
R__1: +1 C__1 -1 C__5 +1 C__9 +1 C__10 -1 C__12 -1 C__13 = +0
R__2: +1 C__2 -1 C__6 -1 C__9 +1 C__11 +1 C__12 -1 C__14 +1 C__15 -1 C__16 = +0
R__3: +1 C__3 -1 C__7 -1 C__10 +1 C__13 -2 C__15 +2 C__16 = +0
R__4: +1 C__4 -1 C__8 -1 C__11 +1 C__14 +1 C__15 -1 C__16 = +98
atmost: +9534.5 C__1 +9523 C__2 +9517 C__3 +9514 C__4 -9534 C__5
-9522 C__6 -9516 C__7 -9513 C__8 +12.5 C__9
+18 C__10 +9.5 C__11 -12 C__12 -17.5 C__13 -9 C__14 +2.5 C__15 -2
C__16 <= +932347.5
Bounds
0 <= C__1 <= 290
0 <= C__2 <= 466
0 <= C__3 <= 40
0 <= C__4 <= 397
0 <= C__5 <= 2417
0 <= C__6 <= 28
0 <= C__7 <= 380
0 <= C__8 <= 21
0 <= C__9 <= 1510
0 <= C__10 <= 449
0 <= C__11 <= 200
0 <= C__12 <= 6
0 <= C__13 <= 100
0 <= C__14 <= 932
0 <= C__15 <= 49
0 <= C__16 <= 841
Generals
C__1 C__2 C__3 C__4 C__5 C__6 C__7 C__8 C__9 C__10 C__11 C__12 C__13
C__14 C__15 C__16
End
More information about the Scip
mailing list