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