loading SCIP... n: 60 m: 94 packed: 16 density: 80 nodes: 0 solverTime: 63 buildTime: 0 solved: false 1 13 30 2 20 28 3 31 49 4 22 52 5 17 27 7 10 37 8 24 32 11 14 25 12 19 55 18 42 56 21 44 50 23 46 54 33 40 48 34 41 53 35 38 45 39 43 47