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