(2,18) (3,25) (4,24) (5,30) (6,22) (8,28) (9,16) (11,20) (12,26) (13,19) 
nodes: 925  conflicts: 74  modelTime: 677  solveTime: 1756  totalTime: 2440  modelSize: 41300  readTime: 7 size: 10