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