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