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