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