loading SCIP... n: 40 m: 54 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 4 8 28 5 29 39 6 7 19 11 14 17 12 22 27 15 36 37 16 31 35 18 20 25 21 32 34 24 30 33