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