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