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