(2,27) (3,28) (4,30) (5,26) (6,22) (7,18) (8,21) (9,19) (10,16) (11,25) (12,29) (13,24) (14,20) (15,17) 
nodes: 2138  conflicts: 28  modelTime: 656  solveTime: 3878  totalTime: 4541  modelSize: 41293  readTime: 6 size: 14