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