loading SCIP... n: 60 m: 60 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 12 20 6 44 53 8 17 41 9 26 32 11 28 31 16 29 30 19 45 57 21 33 39 24 42 58 25 38 46 35 40 47 43 54 59