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