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