(1,25) (2,19) (3,28) (4,17) (5,16) (6,26) (7,24) (9,20) (10,27) (11,23) (12,30) (13,29) (14,21) (15,22) 
nodes: 1520  conflicts: 35  modelTime: 658  solveTime: 2168  totalTime: 2832  modelSize: 41292  readTime: 6 size: 14