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