(1,16) (2,19) (3,20) (4,18) (5,24) (6,30) (8,27) (9,23) (10,26) (11,25) (12,28) (13,29) (14,22) (15,21) 
nodes: 4689  conflicts: 14  modelTime: 656  solveTime: 9104  totalTime: 9766  modelSize: 41292  readTime: 6 size: 14