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