loading SCIP... n: 30 m: 52 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 5 20 2 17 24 3 9 10 4 8 14 6 12 23 7 16 28 11 15 21 13 25 26 19 22 27