(1,21) (2,17) (3,18) (4,16) (5,25) (6,27) (7,23) (8,30) (9,29) (10,26) (11,19) (12,20) (13,22) (14,24) 
nodes: 8384  conflicts: 16  modelTime: 657  solveTime: 15857  totalTime: 16520  modelSize: 41293  readTime: 6 size: 14