loading SCIP... n: 60 m: 133 packed: 16 density: 80 nodes: 0 solverTime: 62 buildTime: 0 solved: false 3 7 26 4 43 47 5 44 55 6 35 56 8 45 54 9 14 48 10 50 52 11 39 41 12 15 57 13 20 49 16 19 46 17 21 38 24 33 53 25 31 58 27 29 37 28 36 42