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