(2,22) (3,24) (5,28) (6,18) (7,25) (8,23) (9,17) (10,29) (11,26) (12,20) (13,27) (14,21) 
nodes: 714  conflicts: 43  modelTime: 660  solveTime: 633  totalTime: 1300  modelSize: 41292  readTime: 7 size: 12