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