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