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