(1,28) (2,16) (3,17) (4,25) (5,20) (6,30) (7,23) (8,24) (9,19) (10,26) (11,21) (12,22) (13,27) (14,18) 
nodes: 6475  conflicts: 25  modelTime: 656  solveTime: 11024  totalTime: 11685  modelSize: 41292  readTime: 5 size: 14