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