Hallo, in der aktuellen CVS Version 1.2.1.1 auf der Instanz IP/chipverification/alu8_5.mps.gz, LPS=spx, OPT=dbg schlägt folgender assert fail: scip: src/scip/cons_knapsack.c:937: SCIPsolveKnapsackApproximately: Assertion `capacity < 2147483647' failed. Was hat es damit auf sich? Gruß, gregor