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