(1,22) (2,25) (3,29) (4,28) (5,16) (6,26) (8,19) (9,23) (10,21) (11,24) (12,18) (13,20) (14,27) (15,17) 
nodes: 4125  conflicts: 19  modelTime: 658  solveTime: 5054  totalTime: 5718  modelSize: 41293  readTime: 6 size: 14