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