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