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