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