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