loading SCIP... n: 40 m: 24 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 3 20 5 10 30 6 26 27 7 21 22 9 23 37 12 13 24 16 33 34 18 38 39