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