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