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