loading SCIP... n: 60 m: 64 packed: 12 density: 60 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 7 48 1 49 55 2 18 35 3 28 41 5 33 38 8 11 13 10 36 54 14 23 25 19 26 29 21 27 56 22 39 47 24 42 51