(2,30) (3,26) (4,17) (5,22) (6,21) (7,25) (8,18) (9,16) (10,28) (11,24) (13,23) (14,19) (15,20) 
nodes: 1494  conflicts: 55  modelTime: 660  solveTime: 1721  totalTime: 2387  modelSize: 41293  readTime: 6 size: 13