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