loading SCIP... n: 40 m: 62 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 28 39 4 25 36 5 14 15 6 16 32 8 11 17 12 31 33 13 22 24 18 21 30 19 27 35 20 29 37