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