(1,25) (2,20) (3,26) (4,23) (6,17) (8,16) (9,18) (10,22) (11,28) (12,19) (13,29) (14,24) (15,21) 
nodes: 8658  conflicts: 26  modelTime: 669  solveTime: 17333  totalTime: 18008  modelSize: 41292  readTime: 6 size: 13