(1,27) (2,30) (4,16) (5,29) (6,26) (7,19) (8,21) (9,20) (11,24) (12,22) (13,25) (14,28) 
nodes: 740  conflicts: 40  modelTime: 669  solveTime: 1016  totalTime: 1691  modelSize: 41292  readTime: 6 size: 12