(1,26) (3,24) (4,28) (5,27) (6,25) (7,16) (8,29) (9,21) (10,19) (11,22) (12,17) (13,23) (14,20) (15,18) 
nodes: 4280  conflicts: 41  modelTime: 657  solveTime: 5263  totalTime: 5927  modelSize: 41293  readTime: 7 size: 14