(1,24) (2,22) (3,28) (4,20) (5,23) (6,18) (9,16) (10,25) (11,29) (12,17) (13,19) (14,21) (15,27) 
nodes: 2068  conflicts: 23  modelTime: 657  solveTime: 3345  totalTime: 4007  modelSize: 41293  readTime: 5 size: 13