(1,22) (2,21) (3,23) (4,28) (5,18) (6,17) (7,20) (8,24) (9,16) (10,26) (11,25) (12,27) (13,29) (14,19) 
nodes: 3603  conflicts: 21  modelTime: 667  solveTime: 7858  totalTime: 8531  modelSize: 41292  readTime: 6 size: 14