(3,29) (4,25) (5,23) (6,21) (8,28) (9,16) (10,17) (11,20) (12,24) (13,27) (14,18) 
nodes: 1220  conflicts: 74  modelTime: 671  solveTime: 1620  totalTime: 2298  modelSize: 41293  readTime: 7 size: 11