(1,22) (2,27) (3,18) (4,21) (5,25) (6,29) (7,16) (8,20) (10,24) (12,28) (14,26) (15,19) 
nodes: 5374  conflicts: 46  modelTime: 668  solveTime: 8550  totalTime: 9225  modelSize: 41293  readTime: 7 size: 12