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