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