loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 12 1 5 8 4 6 9 7 20 23 11 22 37 13 31 33 15 19 36 17 24 25 26 29 39