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