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