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