loading SCIP... n: 30 m: 37 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 16 21 1 5 26 2 28 29 6 14 23 7 17 18 10 20 27 11 12 15 13 19 25