(1,26) (3,17) (4,20) (6,24) (7,22) (8,30) (9,28) (10,18) (11,25) (12,21) (14,23) (15,29) 
nodes: 5214  conflicts: 53  modelTime: 657  solveTime: 7723  totalTime: 8386  modelSize: 41293  readTime: 6 size: 12