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