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