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