(3,27) (4,25) (5,28) (7,21) (8,17) (10,23) (11,24) (13,18) (14,16) (15,22) 
nodes: 2075  conflicts: 73  modelTime: 658  solveTime: 2018  totalTime: 2683  modelSize: 41292  readTime: 7 size: 10