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