loading SCIP... n: 60 m: 133 packed: 18 density: 90 nodes: 0 solverTime: 187 buildTime: 0 solved: false 0 47 55 1 19 54 2 6 14 3 10 39 4 36 58 5 12 37 7 21 51 8 50 56 9 11 33 13 20 23 15 18 24 16 30 44 22 35 46 25 32 45 26 48 53 27 29 40 28 38 52 41 42 43