(1,29) (2,18) (3,16) (4,22) (5,24) (6,19) (7,26) (8,17) (9,27) (10,25) (12,28) (13,21) (14,20) (15,23) 
nodes: 2876  conflicts: 44  modelTime: 661  solveTime: 4613  totalTime: 5281  modelSize: 41292  readTime: 7 size: 14