(1,19) (2,28) (3,29) (6,27) (7,24) (8,21) (9,23) (10,20) (11,16) (12,25) (13,26) (14,17) (15,18) 
nodes: 18999  conflicts: 37  modelTime: 657  solveTime: 37290  totalTime: 37954  modelSize: 41292  readTime: 7 size: 13