(3,30) (4,21) (5,20) (6,24) (7,28) (8,23) (9,22) (10,17) (11,26) (12,29) (13,27) (14,16) 
nodes: 1937  conflicts: 45  modelTime: 661  solveTime: 3526  totalTime: 4193  modelSize: 41292  readTime: 6 size: 12