(1,29) (2,21) (3,26) (4,30) (5,27) (6,16) (8,19) (9,23) (10,18) (11,24) (12,20) (14,25) 
nodes: 1211  conflicts: 45  modelTime: 1122  solveTime: 3088  totalTime: 4220  modelSize: 41292  readTime: 9 size: 12