(1,26) (2,6) (3,7) (4,5) (8,24) (9,29) (10,12) (11,25) (13,23) (14,18) (15,27) (16,20) (17,22) (19,21) (28,30) 
nodes: 54386  conflicts: 31  modelTime: 950  solveTime: 251850  totalTime: 252812  modelSize: 72262  readTime: 11 size: 15