(1,27) (2,29) (5,30) (6,26) (8,24) (10,28) (11,20) (13,23) (14,22) (15,16) 
nodes: 817  conflicts: 65  modelTime: 658  solveTime: 960  totalTime: 1625  modelSize: 41292  readTime: 7 size: 10