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