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