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