(1,16) (2,24) (3,20) (4,28) (5,19) (6,23) (7,25) (8,22) (9,18) (10,29) (11,21) (12,30) (13,17) (14,26) 
nodes: 1809  conflicts: 5  modelTime: 1078  solveTime: 3478  totalTime: 4564  modelSize: 41293  readTime: 7 size: 14