(1,22) (2,26) (3,30) (4,17) (5,24) (6,29) (7,19) (8,23) (9,18) (10,27) (12,25) (13,21) (14,20) (15,28) 
nodes: 6185  conflicts: 14  modelTime: 1186  solveTime: 20704  totalTime: 21899  modelSize: 41293  readTime: 9 size: 14