loading SCIP... n: 40 m: 57 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 4 30 36 5 20 37 7 10 32 8 12 38 14 24 28 15 26 31 17 19 39 18 21 29 23 33 34