(1,25) (2,20) (3,16) (4,17) (5,19) (6,21) (7,24) (8,26) (11,30) (12,29) (13,18) (14,22) (15,28) 
nodes: 3303  conflicts: 54  modelTime: 972  solveTime: 6404  totalTime: 7385  modelSize: 41293  readTime: 9 size: 13