[Scip] Cutpool

Tue Jun 18 15:41:13 MEST 2013

Hi all,

I use a sub-SCIP and get all cuts of the cutpool via SCIPgetPoolCuts() 
to use these cuts for my SCIP-instance. The problem is that one of the 
cuts in the cutpool seemes to be not valid for my sub-SCIP.

The sub-SCIP is some kind of knapsack of the form max{c^T x: w^T x <= 
B*y, x_i and y binary} (so x is a vector, but y is just a binary 
variable) where w_i >= 0 for all i and B >= 0.  The cut of the cutpool 
which is not valid has the form x_i - y <= -1 (for some i) and was 
generated by the cmir separator. Since the zero vector is feasible for 
this problem the cut is not valid, right? Or have I overlooked something?

I attached the problem file to this mail.

Best regards
Jonas
-------------- next part --------------
\ SCIP STATISTICS
\   Problem name     : pricing_block_2
\   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
\   Constraints      : 1
\   Obj. scale       : 1
\   Obj. offset      : 0
Minimize
 Obj: -219 pr2_t_x#1#3 +22 pr2_t_x#2#3 +26 pr2_t_x#4#3 -360 pr2_t_x#5#3 +55 pr2_t_x#6#3 +51 pr2_t_x#7#3
      +45 pr2_t_x#8#3 -213 pr2_t_x#9#3 +69 pr2_t_x#10#3 +49 pr2_t_x#11#3 +47 pr2_t_x#12#3 +42 pr2_t_x#13#3
      +42 pr2_t_x#14#3 +584 pr2_t_x#15#3 +64 pr2_t_x#16#3 +67 pr2_t_x#17#3 +78 pr2_t_x#18#3 +25 pr2_t_x#19#3
      +33 pr2_t_x#20#3 +24 pr2_t_x#21#3 -129 pr2_t_x#22#3 -887 pr2_t_x#23#3 +62 pr2_t_x#24#3 +22 pr2_t_x#25#3
      +44 pr2_t_x#26#3 +67 pr2_t_x#27#3 +40 pr2_t_x#28#3 +47 pr2_t_x#29#3 +80 pr2_t_x#30#3 -243 pr2_t_x#31#3
      +18 pr2_t_x#32#3 +28 pr2_t_x#33#3 +37 pr2_t_x#34#3 -129 pr2_t_x#35#3 +21 pr2_t_x#36#3 +62 pr2_t_x#37#3
      -82 pr2_t_x#38#3 +61 pr2_t_x#39#3 +88 pr2_t_x#40#3 +37 pr2_t_x#41#3 -206 pr2_t_x#42#3 -37 pr2_t_x#43#3
      +26 pr2_t_x#44#3 +32 pr2_t_x#45#3 +43 pr2_t_x#46#3 +43 pr2_t_x#47#3 +38 pr2_t_x#48#3 +31 pr2_t_x#49#3
      -14 pr2_t_x#50#3
Subject to
 p2_Capacity_3: +10 pr2_t_x#1#3 +17 pr2_t_x#2#3 +20 pr2_t_x#3#3 +2 pr2_t_x#4#3 +12 pr2_t_x#5#3 +8 pr2_t_x#6#3
  +13 pr2_t_x#7#3 +11 pr2_t_x#8#3 +7 pr2_t_x#9#3 +3 pr2_t_x#10#3 +6 pr2_t_x#11#3 +5 pr2_t_x#12#3 +10 pr2_t_x#13#3
  +17 pr2_t_x#14#3 +18 pr2_t_x#15#3 +7 pr2_t_x#16#3 +10 pr2_t_x#17#3 +3 pr2_t_x#18#3 +7 pr2_t_x#19#3 +5 pr2_t_x#20#3
  +4 pr2_t_x#21#3 +20 pr2_t_x#22#3 +3 pr2_t_x#23#3 +4 pr2_t_x#24#3 +19 pr2_t_x#25#3 +6 pr2_t_x#26#3 +17 pr2_t_x#27#3
  +5 pr2_t_x#28#3 +6 pr2_t_x#29#3 +10 pr2_t_x#30#3 +15 pr2_t_x#31#3 +15 pr2_t_x#32#3 +6 pr2_t_x#33#3 +7 pr2_t_x#34#3
  +20 pr2_t_x#35#3 +16 pr2_t_x#36#3 +1 pr2_t_x#37#3 +19 pr2_t_x#38#3 +2 pr2_t_x#39#3 +16 pr2_t_x#40#3
  +9 pr2_t_x#41#3 +2 pr2_t_x#42#3 +19 pr2_t_x#43#3 +4 pr2_t_x#44#3 +15 pr2_t_x#45#3 +5 pr2_t_x#46#3 +4 pr2_t_x#47#3
  +5 pr2_t_x#48#3 +18 pr2_t_x#49#3 +19 pr2_t_x#50#3 -50 pr2_t_y#3 <= +0
Bounds
 0 <= pr2_t_x#1#3 <= 1
 0 <= pr2_t_x#2#3 <= 1
 0 <= pr2_t_x#3#3 <= 1
 0 <= pr2_t_x#4#3 <= 1
 0 <= pr2_t_x#5#3 <= 1
 0 <= pr2_t_x#6#3 <= 1
 0 <= pr2_t_x#7#3 <= 1
 0 <= pr2_t_x#8#3 <= 1
 0 <= pr2_t_x#9#3 <= 1
 0 <= pr2_t_x#10#3 <= 1
 0 <= pr2_t_x#11#3 <= 1
 0 <= pr2_t_x#12#3 <= 1
 0 <= pr2_t_x#13#3 <= 1
 0 <= pr2_t_x#14#3 <= 1
 0 <= pr2_t_x#15#3 <= 1
 0 <= pr2_t_x#16#3 <= 1
 0 <= pr2_t_x#17#3 <= 1
 0 <= pr2_t_x#18#3 <= 1
 0 <= pr2_t_x#19#3 <= 1
 0 <= pr2_t_x#20#3 <= 1
 0 <= pr2_t_x#21#3 <= 1
 0 <= pr2_t_x#22#3 <= 1
 0 <= pr2_t_x#23#3 <= 1
 0 <= pr2_t_x#24#3 <= 1
 0 <= pr2_t_x#25#3 <= 1
 0 <= pr2_t_x#26#3 <= 1
 0 <= pr2_t_x#27#3 <= 1
 0 <= pr2_t_x#28#3 <= 1
 0 <= pr2_t_x#29#3 <= 1
 0 <= pr2_t_x#30#3 <= 1
 0 <= pr2_t_x#31#3 <= 1
 0 <= pr2_t_x#32#3 <= 1
 0 <= pr2_t_x#33#3 <= 1
 0 <= pr2_t_x#34#3 <= 1
 0 <= pr2_t_x#35#3 <= 1
 0 <= pr2_t_x#36#3 <= 1
 0 <= pr2_t_x#37#3 <= 1
 0 <= pr2_t_x#38#3 <= 1
 0 <= pr2_t_x#39#3 <= 1
 0 <= pr2_t_x#40#3 <= 1
 0 <= pr2_t_x#41#3 <= 1
 0 <= pr2_t_x#42#3 <= 1
 0 <= pr2_t_x#43#3 <= 1
 0 <= pr2_t_x#44#3 <= 1
 0 <= pr2_t_x#45#3 <= 1
 0 <= pr2_t_x#46#3 <= 1
 0 <= pr2_t_x#47#3 <= 1
 0 <= pr2_t_x#48#3 <= 1
 0 <= pr2_t_x#49#3 <= 1
 0 <= pr2_t_x#50#3 <= 1
 0 <= pr2_t_y#3 <= 1
Binaries
 pr2_t_x#1#3 pr2_t_x#2#3 pr2_t_x#3#3 pr2_t_x#4#3 pr2_t_x#5#3 pr2_t_x#6#3 pr2_t_x#7#3 pr2_t_x#8#3 pr2_t_x#9#3
 pr2_t_x#10#3 pr2_t_x#11#3 pr2_t_x#12#3 pr2_t_x#13#3 pr2_t_x#14#3 pr2_t_x#15#3 pr2_t_x#16#3 pr2_t_x#17#3
 pr2_t_x#18#3 pr2_t_x#19#3 pr2_t_x#20#3 pr2_t_x#21#3 pr2_t_x#22#3 pr2_t_x#23#3 pr2_t_x#24#3 pr2_t_x#25#3
 pr2_t_x#26#3 pr2_t_x#27#3 pr2_t_x#28#3 pr2_t_x#29#3 pr2_t_x#30#3 pr2_t_x#31#3 pr2_t_x#32#3 pr2_t_x#33#3
 pr2_t_x#34#3 pr2_t_x#35#3 pr2_t_x#36#3 pr2_t_x#37#3 pr2_t_x#38#3 pr2_t_x#39#3 pr2_t_x#40#3 pr2_t_x#41#3
 pr2_t_x#42#3 pr2_t_x#43#3 pr2_t_x#44#3 pr2_t_x#45#3 pr2_t_x#46#3 pr2_t_x#47#3 pr2_t_x#48#3 pr2_t_x#49#3
 pr2_t_x#50#3 pr2_t_y#3
End