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