(1,2) (3,25) (4,8) (5,11) (6,27) (7,28) (9,21) (10,24) (12,19) (13,14) (15,30) (16,29) (17,22) (18,26) (20,23) 
nodes: 172008  conflicts: 39  modelTime: 1737  solveTime: 667538  totalTime: 669294  modelSize: 72269  readTime: 19 size: 15