(1,18) (3,17) (4,25) (5,21) (6,30) (8,24) (10,26) (11,28) (12,23) (13,27) (14,20) (15,16) 
nodes: 9329  conflicts: 70  modelTime: 664  solveTime: 13591  totalTime: 14261  modelSize: 41292  readTime: 6 size: 12