(1,25) (2,30) (3,22) (4,27) (5,19) (6,23) (7,18) (8,26) (9,24) (10,16) (11,21) (12,20) (13,17) (14,28) 
nodes: 4656  conflicts: 27  modelTime: 662  solveTime: 9060  totalTime: 9728  modelSize: 41292  readTime: 6 size: 14