loading SCIP... n: 30 m: 41 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 16 29 2 8 10 4 5 9 6 15 23 7 17 24 11 21 22 13 26 28 14 20 25