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