loading SCIP... n: 30 m: 51 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 3 1 7 28 4 18 19 10 11 16 13 15 26 14 21 22 17 25 27 20 23 29