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