(1,27) (2,24) (4,19) (5,17) (6,26) (7,21) (8,28) (9,20) (10,30) (12,23) (14,22) 
nodes: 818  conflicts: 82  modelTime: 673  solveTime: 730  totalTime: 1410  modelSize: 41300  readTime: 7 size: 11