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