(1,16) (2,23) (3,26) (4,30) (6,19) (7,28) (8,21) (9,29) (10,24) (12,20) (14,22) 
nodes: 14033  conflicts: 50  modelTime: 658  solveTime: 22671  totalTime: 23335  modelSize: 41292  readTime: 6 size: 11