(1,20) (2,25) (3,16) (4,23) (6,26) (7,24) (8,28) (9,17) (10,22) (11,18) (12,19) (14,29) (15,21) 
nodes: 3545  conflicts: 38  modelTime: 671  solveTime: 6354  totalTime: 7031  modelSize: 41293  readTime: 6 size: 13