(1,21) (2,28) (3,19) (4,27) (5,26) (6,22) (7,17) (8,23) (9,29) (10,18) (11,16) (12,24) (13,20) (14,30) 
nodes: 1741  conflicts: 41  modelTime: 1199  solveTime: 3926  totalTime: 5134  modelSize: 41292  readTime: 9 size: 14