(1,17) (2,19) (4,28) (5,27) (6,24) (7,18) (8,16) (9,23) (10,25) (11,20) (12,22) (13,21) (14,30) (15,26) 
nodes: 1252  conflicts: 34  modelTime: 657  solveTime: 2237  totalTime: 2901  modelSize: 41293  readTime: 6 size: 14