(1,17) (3,19) (4,16) (5,22) (6,18) (9,27) (10,23) (11,28) (14,20) (15,26) 
nodes: 871  conflicts: 66  modelTime: 661  solveTime: 1076  totalTime: 1744  modelSize: 41292  readTime: 7 size: 10