(2,20) (4,29) (5,18) (6,25) (7,22) (8,21) (9,19) (10,27) (11,16) (12,23) (13,26) (14,28) (15,24) 
nodes: 2308  conflicts: 34  modelTime: 661  solveTime: 2175  totalTime: 2842  modelSize: 41292  readTime: 6 size: 13