loading SCIP... n: 60 m: 51 packed: 14 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 28 44 2 3 56 4 8 22 5 25 32 6 36 43 7 13 26 10 16 38 11 34 52 15 21 51 17 48 49 24 35 39 27 30 45 29 33 46 42 54 57