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