(1,26) (2,30) (3,20) (5,29) (6,28) (7,16) (8,18) (9,19) (11,17) (12,27) (13,22) (14,25) (15,23) 
nodes: 7557  conflicts: 32  modelTime: 655  solveTime: 10781  totalTime: 11443  modelSize: 41293  readTime: 7 size: 13