(1,29) (2,17) (3,16) (4,20) (5,18) (6,24) (7,28) (9,23) (10,21) (13,19) (14,26) (15,27) 
nodes: 3041  conflicts: 53  modelTime: 660  solveTime: 4207  totalTime: 4874  modelSize: 41292  readTime: 7 size: 12