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