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