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