(1,19) (2,17) (4,16) (5,28) (6,23) (7,24) (10,22) (11,25) (12,21) (13,29) 
nodes: 4065  conflicts: 72  modelTime: 675  solveTime: 4674  totalTime: 5356  modelSize: 41292  readTime: 7 size: 10