(1,17) (3,22) (4,20) (5,16) (6,18) (7,26) (9,23) (10,25) (11,28) (12,21) (13,19) (14,29) (15,24) 
nodes: 21067  conflicts: 44  modelTime: 658  solveTime: 41731  totalTime: 42396  modelSize: 41292  readTime: 7 size: 13