(2,22) (3,29) (4,17) (5,26) (6,30) (7,23) (8,16) (9,24) (10,25) (11,27) (12,18) (13,19) (14,28) (15,21) 
nodes: 3565  conflicts: 17  modelTime: 655  solveTime: 5139  totalTime: 5800  modelSize: 41293  readTime: 6 size: 14