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