(1,26) (2,21) (3,27) (4,23) (5,28) (6,17) (8,24) (9,19) (10,16) (13,25) (15,20) 
nodes: 808  conflicts: 51  modelTime: 663  solveTime: 1113  totalTime: 1783  modelSize: 41292  readTime: 7 size: 11