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