loading SCIP... n: 30 m: 64 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 18 21 1 3 17 2 19 25 4 8 14 5 12 22 9 13 23 10 15 28 24 26 27