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