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