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