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