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