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