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