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