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