(1,24) (2,20) (4,22) (5,21) (6,25) (8,29) (9,26) (10,28) (11,16) (13,23) (14,27) 
nodes: 1200  conflicts: 68  modelTime: 673  solveTime: 1593  totalTime: 2273  modelSize: 41293  readTime: 7 size: 11