loading SCIP... n: 60 m: 38 packed: 11 density: 55 nodes: 0 solverTime: 47 buildTime: 0 solved: false 4 5 55 6 20 49 9 35 53 12 31 46 13 47 51 14 18 42 19 24 32 21 26 36 22 52 58 23 48 54 28 40 56