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