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