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