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