(2,24) (3,16) (4,18) (5,22) (6,15) (7,13) (8,14) (9,10) (11,30) (12,26) (17,28) (19,27) (21,29) (23,25) 
nodes: 174266  conflicts: 44  modelTime: 1263  solveTime: 606099  totalTime: 607381  modelSize: 72267  readTime: 19 size: 14