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