(1,28) (2,30) (3,21) (4,26) (5,20) (6,23) (7,27) (8,24) (10,17) (11,19) (13,16) (14,22) (15,25) 
nodes: 1592  conflicts: 45  modelTime: 660  solveTime: 1988  totalTime: 2655  modelSize: 41292  readTime: 7 size: 13