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