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