loading SCIP... n: 30 m: 50 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 3 9 1 10 12 2 16 24 4 11 28 6 7 21 8 20 26 15 19 27