(1,20) (2,19) (3,24) (4,5) (7,30) (8,12) (9,26) (10,28) (11,13) (14,16) (18,23) (21,29) (25,27) 
nodes: 108630  conflicts: 50  modelTime: 1706  solveTime: 392474  totalTime: 394199  modelSize: 72276  readTime: 19 size: 13