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