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