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