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