(2,26) (3,28) (4,24) (6,19) (7,16) (8,22) (9,21) (10,17) (11,20) (12,27) (13,23) (14,29) (15,18) 
nodes: 1200  conflicts: 53  modelTime: 657  solveTime: 1510  totalTime: 2174  modelSize: 41292  readTime: 7 size: 13