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