(1,26) (2,16) (3,29) (5,20) (6,23) (7,25) (8,22) (9,24) (11,30) (12,27) (13,21) (14,28) 
nodes: 3463  conflicts: 46  modelTime: 661  solveTime: 4232  totalTime: 4899  modelSize: 41292  readTime: 6 size: 12