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