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