(1,4) (2,26) (3,6) (5,29) (7,12) (8,25) (9,13) (10,28) (11,16) (14,22) (15,18) (17,19) (20,21) (23,24) (27,30) 
nodes: 74590  conflicts: 7  modelTime: 1540  solveTime: 427541  totalTime: 429096  modelSize: 72264  readTime: 15 size: 15