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