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