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