(1,29) (2,19) (4,21) (5,20) (6,16) (7,18) (8,22) (10,25) (11,24) (12,27) (13,17) (14,28) 
nodes: 1779  conflicts: 47  modelTime: 662  solveTime: 3500  totalTime: 4168  modelSize: 41293  readTime: 6 size: 12