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