(1,26) (3,23) (4,28) (5,18) (6,24) (7,29) (8,21) (9,27) (10,17) (11,16) (12,22) (14,20) (15,25) 
nodes: 4396  conflicts: 40  modelTime: 657  solveTime: 6082  totalTime: 6745  modelSize: 41298  readTime: 6 size: 13