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