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