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