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