(1,22) (2,26) (3,27) (4,30) (5,29) (6,21) (7,20) (9,23) (10,25) (11,19) (12,16) (13,17) (14,28) 
nodes: 3990  conflicts: 55  modelTime: 661  solveTime: 5370  totalTime: 6037  modelSize: 41293  readTime: 6 size: 13