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