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