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