(1,16) (2,5) (3,11) (4,7) (6,21) (8,13) (9,25) (10,24) (12,26) (14,23) (15,29) (17,18) (19,28) (20,22) 
nodes: 219892  conflicts: 44  modelTime: 1721  solveTime: 897841  totalTime: 899577  modelSize: 72262  readTime: 15 size: 14