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