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