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