loading SCIP... n: 40 m: 60 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 16 1 15 27 4 32 37 7 26 35 9 36 38 10 30 39 11 12 18 13 19 29 14 25 28 21 33 34