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