(1,20) (2,28) (3,26) (5,30) (6,22) (7,18) (8,17) (9,29) (11,16) (13,23) (14,24) 
nodes: 638  conflicts: 56  modelTime: 661  solveTime: 827  totalTime: 1510  modelSize: 41292  readTime: 22 size: 11