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