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