(1,25) (2,20) (5,22) (6,16) (7,21) (8,23) (9,29) (10,28) (11,26) (12,17) (13,24) (14,27) 
nodes: 929  conflicts: 46  modelTime: 657  solveTime: 1256  totalTime: 1920  modelSize: 41292  readTime: 7 size: 12