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