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