loading SCIP... n: 40 m: 61 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 5 10 1 24 25 2 4 6 3 8 14 9 23 28 11 19 37 12 17 36 13 30 38 18 22 29 21 32 33 26 31 34