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