loading SCIP... n: 40 m: 48 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 6 14 2 20 26 4 7 28 5 10 24 8 16 39 12 13 27 18 21 35 23 33 34 29 30 38