(1,16) (2,30) (3,19) (4,18) (5,28) (6,23) (7,24) (8,22) (9,26) (10,20) (11,17) (14,21) (15,25) 
nodes: 4853  conflicts: 38  modelTime: 659  solveTime: 10567  totalTime: 11233  modelSize: 41292  readTime: 7 size: 13