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