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