loading SCIP... n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 24 33 1 3 11 2 16 27 4 22 35 6 32 37 12 25 39 14 21 36 18 19 26