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