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