(1,28) (2,16) (3,17) (4,22) (5,20) (6,21) (7,19) (8,27) (9,26) (11,30) (12,18) (13,23) (15,25) 
nodes: 1440  conflicts: 39  modelTime: 668  solveTime: 1729  totalTime: 2403  modelSize: 41293  readTime: 6 size: 13