(1,17) (2,23) (3,27) (4,28) (5,19) (6,24) (8,25) (10,29) (11,16) (12,21) (13,20) (14,22) (15,26) 
nodes: 1104  conflicts: 33  modelTime: 662  solveTime: 1422  totalTime: 2090  modelSize: 41293  readTime: 6 size: 13