(1,25) (2,29) (3,26) (4,16) (7,28) (8,23) (9,24) (10,20) (11,22) (13,17) (14,19) (15,21) 
nodes: 1062  conflicts: 40  modelTime: 657  solveTime: 1295  totalTime: 1958  modelSize: 41293  readTime: 6 size: 12