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