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