(1,12) (2,16) (3,21) (4,13) (5,10) (6,9) (7,24) (8,28) (11,25) (14,30) (15,20) (17,29) (18,23) (19,27) 
nodes: 43465  conflicts: 18  modelTime: 933  solveTime: 237686  totalTime: 238630  modelSize: 72275  readTime: 11 size: 14