(1,18) (2,19) (3,17) (4,28) (6,30) (7,24) (8,16) (9,29) (11,22) (12,25) (13,23) (14,21) (15,20) 
nodes: 1275  conflicts: 29  modelTime: 656  solveTime: 1686  totalTime: 2349  modelSize: 41293  readTime: 7 size: 13