(2,21) (3,26) (4,19) (6,24) (7,30) (8,20) (9,28) (10,25) (11,18) (12,22) (13,27) (14,23) 
nodes: 2150  conflicts: 40  modelTime: 657  solveTime: 4885  totalTime: 5549  modelSize: 41299  readTime: 7 size: 12