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