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