(1,27) (2,23) (4,18) (5,29) (6,17) (7,16) (8,22) (9,19) (10,24) (11,25) (13,21) (14,26) (15,20) 
nodes: 1706  conflicts: 34  modelTime: 657  solveTime: 2689  totalTime: 3353  modelSize: 41292  readTime: 7 size: 13