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