(2,23) (3,18) (4,25) (5,19) (6,17) (7,20) (8,24) (9,21) (10,22) (11,30) (12,26) (13,27) (14,29) (15,28) 
nodes: 72878  conflicts: 19  modelTime: 1193  solveTime: 208840  totalTime: 210042  modelSize: 41292  readTime: 9 size: 14