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