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