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