(1,19) (2,17) (3,16) (4,20) (5,28) (6,26) (7,30) (8,29) (9,18) (10,21) (11,25) (12,24) (13,23) (14,22) (15,27) 
nodes: 4260  conflicts: 8  modelTime: 657  solveTime: 9769  totalTime: 10431  modelSize: 41293  readTime: 5 size: 15