(1,11) (2,4) (3,23) (5,28) (6,17) (7,21) (8,9) (12,18) (13,30) (14,29) (16,25) (19,24) (20,22) (26,27) 
nodes: 121385  conflicts: 29  modelTime: 970  solveTime: 529142  totalTime: 530123  modelSize: 72275  readTime: 11 size: 14