(1,25) (2,18) (3,29) (4,28) (5,17) (6,24) (8,21) (9,23) (10,26) (11,30) (12,22) (13,20) (14,27) 
nodes: 5700  conflicts: 39  modelTime: 656  solveTime: 9178  totalTime: 9840  modelSize: 41292  readTime: 6 size: 13