(1,18) (2,24) (3,17) (4,27) (6,28) (7,21) (8,25) (9,19) (10,22) (11,26) (12,16) (13,23) (14,30) (15,20) 
nodes: 7303  conflicts: 25  modelTime: 806  solveTime: 12681  totalTime: 13493  modelSize: 41293  readTime: 6 size: 14