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