(1,21) (2,22) (3,26) (5,30) (6,20) (7,25) (9,27) (10,19) (11,16) (12,24) (13,23) (14,29) (15,28) 
nodes: 1480  conflicts: 54  modelTime: 660  solveTime: 1527  totalTime: 2194  modelSize: 41293  readTime: 7 size: 13