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