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