loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 21 30 2 28 34 5 14 32 7 24 31 8 36 38 9 25 26 11 12 27 17 18 19 22 35 37