loading SCIP... n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 4 14 1 17 24 2 19 28 5 10 18 6 9 13 7 12 29 15 25 26 16 21 22