(1,22) (2,27) (3,30) (4,23) (5,25) (6,16) (7,24) (8,28) (9,20) (10,29) (11,17) (12,26) (13,21) (14,18) 
nodes: 2906  conflicts: 22  modelTime: 656  solveTime: 5166  totalTime: 5827  modelSize: 41292  readTime: 5 size: 14