(1,21) (2,26) (4,29) (5,24) (6,28) (7,27) (8,23) (9,18) (10,25) (11,17) (13,19) (14,20) (15,16) 
nodes: 1252  conflicts: 59  modelTime: 659  solveTime: 2027  totalTime: 2693  modelSize: 41293  readTime: 7 size: 13