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