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