(1,23) (2,21) (3,25) (5,17) (6,22) (7,26) (9,28) (10,20) (11,30) (12,18) (13,16) (14,27) (15,19) 
nodes: 79112  conflicts: 14  modelTime: 1188  solveTime: 227865  totalTime: 229062  modelSize: 41293  readTime: 9 size: 13