(1,19) (2,26) (3,18) (4,25) (5,17) (6,23) (7,29) (8,28) (9,30) (10,20) (11,21) (12,27) (13,24) (14,22) 
nodes: 2202  conflicts: 43  modelTime: 661  solveTime: 2861  totalTime: 3528  modelSize: 41293  readTime: 6 size: 14