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