loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 7 20 1 18 21 3 23 36 4 13 37 6 16 39 9 28 38 10 24 34 14 19 33 22 26 27