loading SCIP... n: 40 m: 29 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 4 33 2 14 19 3 5 36 6 11 28 9 31 32 12 24 25 17 22 39 26 35 37