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