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