(1,26) (2,29) (3,27) (4,19) (5,20) (6,25) (7,28) (8,21) (9,24) (10,22) (11,17) (13,18) (14,16) (15,23) 
nodes: 3670  conflicts: 33  modelTime: 653  solveTime: 7264  totalTime: 7924  modelSize: 41293  readTime: 7 size: 14