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