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