loading SCIP... n: 60 m: 108 packed: 16 density: 80 nodes: 0 solverTime: 141 buildTime: 0 solved: false 0 11 25 1 29 39 2 3 24 4 6 13 8 51 59 9 16 27 10 12 58 17 30 46 18 50 56 21 28 32 22 23 43 31 42 44 33 34 35 36 41 49 40 47 53 48 52 54