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