loading SCIP... n: 40 m: 48 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 16 33 1 5 19 2 6 25 4 13 34 7 14 17 9 10 37 12 22 35 18 26 36 24 29 31