(1,19) (3,18) (4,24) (5,23) (7,28) (8,20) (9,25) (10,17) (11,29) (12,16) (13,21) (14,30) (15,22) 
nodes: 2257  conflicts: 34  modelTime: 691  solveTime: 4610  totalTime: 5307  modelSize: 41293  readTime: 6 size: 13