loading SCIP... n: 30 m: 37 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 5 29 1 3 11 2 19 24 4 6 13 9 14 22 12 16 26 15 17 27 20 21 23