(1,16) (2,26) (3,20) (4,19) (5,30) (6,18) (7,24) (8,27) (9,22) (10,21) (11,17) (12,23) (13,28) (14,29) 
nodes: 5120  conflicts: 20  modelTime: 664  solveTime: 10452  totalTime: 11122  modelSize: 41293  readTime: 6 size: 14