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