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