loading SCIP... n: 30 m: 32 packed: 8 density: 80 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 8 15 1 20 29 2 12 23 3 14 28 5 6 22 7 25 27 9 19 26 16 17 21