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