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