(1,21) (2,19) (3,28) (4,20) (5,16) (6,30) (7,23) (8,17) (11,26) (13,24) 
nodes: 2072  conflicts: 68  modelTime: 662  solveTime: 1690  totalTime: 2358  modelSize: 41293  readTime: 6 size: 10