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