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