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