(2,19) (3,20) (5,23) (6,28) (7,30) (8,26) (9,22) (10,29) (11,24) (12,25) (13,27) (14,16) 
nodes: 2841  conflicts: 39  modelTime: 661  solveTime: 3931  totalTime: 4599  modelSize: 41299  readTime: 7 size: 12