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