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