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