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