(1,29) (2,16) (3,25) (4,30) (5,19) (6,26) (7,20) (8,21) (9,24) (10,28) (11,18) (12,22) (13,23) 
nodes: 5104  conflicts: 47  modelTime: 661  solveTime: 10935  totalTime: 11602  modelSize: 41292  readTime: 6 size: 13