(2,22) (3,30) (5,26) (8,17) (9,23) (10,28) (11,29) (13,25) (14,21) (15,20) 
nodes: 476  conflicts: 73  modelTime: 662  solveTime: 824  totalTime: 1493  modelSize: 41293  readTime: 7 size: 10