(1,18) (2,23) (3,21) (4,19) (5,17) (7,25) (8,20) (9,27) (10,22) (11,24) (12,26) (13,16) (14,28) (15,30) 
nodes: 1908  conflicts: 21  modelTime: 653  solveTime: 2428  totalTime: 3087  modelSize: 41299  readTime: 6 size: 14