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