(2,25) (3,29) (4,17) (5,19) (6,22) (7,28) (8,16) (9,18) (11,27) (12,26) (13,24) (14,30) 
nodes: 4785  conflicts: 50  modelTime: 666  solveTime: 7606  totalTime: 8278  modelSize: 41292  readTime: 6 size: 12