loading SCIP... n: 40 m: 81 packed: 11 density: 84 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 26 36 1 7 22 2 9 16 3 13 23 5 12 19 8 20 39 11 30 31 15 32 38 17 18 29 21 24 37 27 33 35