loading SCIP... n: 60 m: 94 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 9 42 1 50 54 2 3 56 4 21 53 5 15 55 6 26 30 7 18 39 8 23 36 10 17 32 13 22 46 20 34 58 25 40 52 28 29 38 31 43 51 35 37 57 41 47 48