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