loading SCIP... n: 40 m: 29 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 24 38 3 11 23 4 8 25 5 19 26 9 21 39 13 14 27 16 29 35 18 32 33 31 36 37