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