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