loading SCIP... n: 60 m: 80 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 19 48 1 22 35 2 46 53 4 30 55 6 9 36 7 37 38 11 13 45 12 17 49 14 16 50 18 57 58 20 34 47 23 26 31 24 44 56 25 32 43 28 29 39 33 41 52