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