(1,17) (2,30) (4,19) (6,18) (7,16) (8,23) (9,25) (10,29) (11,22) (12,27) (13,26) (14,21) 
nodes: 15235  conflicts: 64  modelTime: 657  solveTime: 21512  totalTime: 22175  modelSize: 41293  readTime: 6 size: 12