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