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