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