loading SCIP... n: 40 m: 44 packed: 9 density: 69 nodes: 0 solverTime: 47 buildTime: 0 solved: false 2 14 20 3 5 18 9 21 30 11 31 39 13 19 24 15 29 34 17 25 32 23 33 37 26 27 28