loading SCIP... n: 40 m: 75 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 23 38 1 4 26 2 13 32 3 11 12 6 9 10 8 19 31 14 15 29 16 27 39 17 22 36 20 25 30 24 35 37