loading SCIP... n: 30 m: 55 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 2 15 1 6 22 4 25 28 7 18 23 8 11 20 9 17 24 12 13 21 16 19 27