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