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