loading SCIP... n: 30 m: 41 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 18 29 2 19 26 4 11 20 5 10 12 6 25 28 8 15 24 13 17 27 21 22 23