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