loading SCIP... n: 30 m: 23 packed: 7 density: 70 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 10 27 1 5 18 2 4 12 6 22 25 8 11 16 9 19 24 14 20 26