loading SCIP... n: 30 m: 98 packed: 9 density: 90 nodes: 0 solverTime: 46 buildTime: 0 solved: false 1 15 27 3 9 17 4 20 23 5 10 14 7 18 24 8 13 25 11 16 29 12 26 28 19 21 22