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