loading SCIP... n: 30 m: 50 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 9 27 4 18 28 5 11 17 7 10 12 8 20 24 13 21 22 14 15 25 16 19 29