(1,18) (2,23) (4,17) (5,25) (6,20) (8,24) (9,21) (10,22) (11,28) (12,19) (13,26) (14,16) (15,27) 
nodes: 980  conflicts: 31  modelTime: 661  solveTime: 1424  totalTime: 2091  modelSize: 41299  readTime: 6 size: 13