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