loading SCIP... n: 60 m: 31 packed: 11 density: 55 nodes: 0 solverTime: 47 buildTime: 0 solved: false 3 10 39 4 16 55 5 13 32 6 8 9 11 19 33 12 31 40 20 24 45 23 28 52 25 35 36 26 30 50 37 41 43