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