(1,22) (2,21) (3,19) (4,20) (5,28) (6,26) (7,16) (8,17) (9,25) (10,30) (11,29) (12,24) (13,27) (14,23) 
nodes: 10494  conflicts: 17  modelTime: 1190  solveTime: 35385  totalTime: 36585  modelSize: 41293  readTime: 10 size: 14