(1,28) (2,25) (3,29) (5,20) (6,26) (7,18) (8,23) (9,16) (10,19) (11,17) (13,27) (14,22) 
nodes: 1210  conflicts: 42  modelTime: 661  solveTime: 1683  totalTime: 2351  modelSize: 41293  readTime: 7 size: 12