(1,29) (2,18) (3,17) (4,28) (5,30) (6,22) (7,23) (8,24) (9,25) (10,21) (11,20) (12,16) (13,26) (15,27) 
nodes: 18190  conflicts: 18  modelTime: 685  solveTime: 49091  totalTime: 49781  modelSize: 41292  readTime: 5 size: 14