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