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