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