(1,30) (3,22) (4,27) (5,23) (6,21) (7,29) (8,25) (9,20) (11,26) (12,19) (13,17) (14,28) (15,16) 
nodes: 6296  conflicts: 34  modelTime: 657  solveTime: 10796  totalTime: 11459  modelSize: 41292  readTime: 6 size: 13