(1,16) (2,21) (3,26) (4,22) (6,30) (7,20) (8,17) (9,29) (10,23) (11,28) (13,24) (14,19) 
nodes: 3496  conflicts: 43  modelTime: 1197  solveTime: 8810  totalTime: 10017  modelSize: 41293  readTime: 10 size: 12