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