loading SCIP... n: 40 m: 29 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 3 11 1 16 19 6 33 36 8 13 31 10 17 20 12 29 35 14 15 32 21 34 38 27 37 39