(1,16) (2,26) (3,19) (4,22) (5,24) (6,28) (7,23) (8,30) (9,21) (10,17) (12,29) (13,25) (14,18) 
nodes: 3003  conflicts: 38  modelTime: 656  solveTime: 4787  totalTime: 5449  modelSize: 41293  readTime: 6 size: 13