(1,29) (2,16) (4,23) (5,25) (6,19) (8,26) (9,28) (10,20) (11,21) (13,22) (14,30) (15,27) 
nodes: 4909  conflicts: 27  modelTime: 657  solveTime: 7525  totalTime: 8187  modelSize: 41293  readTime: 5 size: 12