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