(1,26) (2,17) (4,19) (5,25) (6,22) (7,30) (8,20) (9,24) (10,23) (11,29) (12,28) (13,16) (15,21) 
nodes: 8849  conflicts: 31  modelTime: 657  solveTime: 15707  totalTime: 16371  modelSize: 41292  readTime: 7 size: 13