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