loading SCIP... n: 40 m: 69 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 36 37 1 19 27 2 5 17 3 13 23 6 15 33 7 11 29 9 14 24 12 20 21 16 31 39 22 26 34 30 35 38