(1,26) (2,20) (3,24) (5,27) (6,22) (7,18) (8,30) (9,23) (10,17) (13,25) (14,28) (15,16) 
nodes: 1523  conflicts: 46  modelTime: 656  solveTime: 2219  totalTime: 2882  modelSize: 41293  readTime: 7 size: 12