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