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