loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 7 27 2 6 12 3 20 28 5 21 37 8 9 29 10 26 39 14 25 30 17 31 34 24 33 35