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