loading SCIP... n: 40 m: 69 packed: 10 density: 76 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 8 21 3 27 32 4 6 37 5 7 10 9 12 13 11 14 15 16 19 36 17 29 31 18 24 35 33 34 39