loading SCIP... n: 30 m: 82 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 23 28 1 4 21 2 14 15 5 17 25 6 16 27 7 9 19 10 20 22 12 24 26