(1,21) (2,27) (3,17) (4,19) (5,18) (6,26) (7,25) (8,24) (9,28) (10,16) (12,23) (13,20) (14,22) (15,30) 
nodes: 19081  conflicts: 18  modelTime: 1190  solveTime: 57190  totalTime: 58391  modelSize: 41292  readTime: 10 size: 14