(1,21) (2,20) (3,30) (4,29) (5,26) (6,24) (7,18) (8,28) (9,27) (10,22) (11,19) (12,17) (13,16) (14,25) 
nodes: 60681  conflicts: 14  modelTime: 1184  solveTime: 210224  totalTime: 211417  modelSize: 41292  readTime: 9 size: 14