loading SCIP... n: 30 m: 79 packed: 9 density: 90 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 16 18 1 2 4 3 14 26 5 9 12 6 20 25 8 11 28 10 22 29 13 19 21 15 17 27