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