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