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