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