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