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