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