loading SCIP... n: 60 m: 135 packed: 18 density: 90 nodes: 0 solverTime: 172 buildTime: 0 solved: false 0 14 25 1 5 51 3 24 35 4 18 38 6 11 58 7 20 56 9 17 39 10 19 29 12 13 34 15 40 52 16 22 46 21 48 54 23 32 49 27 37 45 28 42 43 30 50 55 31 33 53 36 44 47