loading SCIP... n: 40 m: 54 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 6 39 1 16 23 4 5 26 9 17 31 10 20 27 15 21 32 22 30 38 24 25 34 29 35 37