loading SCIP... n: 40 m: 21 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 14 6 29 32 13 23 26 16 30 35 17 24 37 19 22 39 20 25 28