loading SCIP... n: 30 m: 50 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 18 24 1 10 12 2 19 26 3 11 28 4 7 23 6 17 27 8 20 22 9 13 15