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