(1,16) (3,25) (4,24) (5,20) (6,30) (7,19) (9,29) (10,27) (11,28) (12,21) (13,26) (14,22) (15,23) 
nodes: 25351  conflicts: 30  modelTime: 683  solveTime: 71698  totalTime: 72388  modelSize: 41292  readTime: 7 size: 13