loading SCIP... n: 30 m: 67 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 16 24 2 9 12 3 17 28 4 11 27 6 8 29 7 13 26 14 15 25 19 22 23