loading SCIP... n: 60 m: 86 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 26 30 1 8 42 2 35 37 3 12 38 5 17 44 6 7 11 9 19 55 13 31 52 15 36 54 18 27 56 20 23 25 28 40 46 29 32 51 33 34 50 43 47 53 48 49 59