loading SCIP... n: 40 m: 80 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 6 21 3 34 39 4 10 16 5 12 13 9 25 36 11 19 20 14 26 29 15 35 37 17 31 32 18 23 28 22 27 33