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