loading SCIP... n: 30 m: 57 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 8 20 1 10 14 2 21 28 3 11 23 4 9 24 7 25 26 13 17 18 15 22 27 16 19 29