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