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