loading SCIP... n: 40 m: 32 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 19 1 4 27 3 11 34 5 23 39 9 10 37 13 26 35 16 21 22 18 25 31