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