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