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