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