loading SCIP... n: 60 m: 88 packed: 16 density: 80 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 3 25 1 10 19 2 48 52 4 14 32 5 11 56 7 21 35 8 13 39 16 37 40 18 44 53 20 34 50 23 24 57 26 43 55 28 29 47 31 33 38 36 51 54 49 58 59