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