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