(2,20) (4,19) (5,28) (6,17) (7,26) (8,23) (9,18) (11,16) (12,22) (13,25) (14,29) (15,27) 
nodes: 1236  conflicts: 66  modelTime: 677  solveTime: 1920  totalTime: 2606  modelSize: 41292  readTime: 8 size: 12