(1,21) (2,16) (4,28) (6,30) (11,19) (12,26) (15,22) 
nodes: 946  conflicts: 100  modelTime: 664  solveTime: 1506  totalTime: 2176  modelSize: 41301  readTime: 6 size: 7