loading SCIP... n: 40 m: 74 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 9 13 3 12 27 4 11 32 5 26 29 8 15 37 10 25 35 14 17 39 16 21 36 18 22 34 20 28 31 24 33 38