loading SCIP... n: 40 m: 75 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 18 23 1 15 29 2 12 30 4 24 39 5 13 36 6 22 31 7 9 10 8 28 32 16 37 38 17 19 25 27 33 34