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