loading SCIP... n: 30 m: 39 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 2 12 1 17 24 3 15 16 4 5 6 7 23 28 8 20 22 11 13 18 19 26 29