(1,16) (2,28) (3,24) (4,19) (5,26) (6,29) (8,30) (9,25) (11,18) (12,27) (13,17) (14,22) (15,21) 
nodes: 1530  conflicts: 41  modelTime: 661  solveTime: 1962  totalTime: 2629  modelSize: 41292  readTime: 6 size: 13