loading SCIP... n: 40 m: 66 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 9 16 2 4 12 3 18 27 6 22 36 7 19 37 10 15 39 11 17 30 13 24 26 21 34 35 23 29 31