(1,27) (2,23) (3,29) (4,22) (5,28) (8,16) (9,24) (10,17) (11,25) (12,20) (13,26) (15,19) 
nodes: 8073  conflicts: 54  modelTime: 659  solveTime: 10955  totalTime: 11620  modelSize: 41292  readTime: 6 size: 12