(1,23) (2,27) (3,29) (4,28) (5,21) (6,26) (7,24) (8,19) (9,18) (10,30) (11,16) (13,22) (14,25) (15,20) 
nodes: 7236  conflicts: 29  modelTime: 656  solveTime: 12743  totalTime: 13405  modelSize: 41292  readTime: 6 size: 14