loading SCIP... n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 7 22 4 5 9 6 32 37 11 31 38 13 21 29 14 18 39 20 24 27 25 35 36