loading SCIP... n: 40 m: 60 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 23 25 2 11 22 3 26 38 5 21 31 6 24 39 7 19 28 8 14 35 9 15 27 13 16 36 17 30 37 20 33 34