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