(1,19) (2,22) (4,23) (5,25) (6,24) (7,16) (8,28) (12,27) (13,29) (15,21) 
nodes: 1046  conflicts: 72  modelTime: 671  solveTime: 1010  totalTime: 1688  modelSize: 41300  readTime: 7 size: 10