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