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