(1,22) (2,26) (3,27) (4,19) (5,20) (6,29) (7,16) (8,17) (10,24) (11,21) (12,25) (13,23) (14,28) (15,30) 
nodes: 119987  conflicts: 25  modelTime: 656  solveTime: 251082  totalTime: 251744  modelSize: 41293  readTime: 6 size: 14