(1,23) (2,16) (3,20) (5,21) (6,28) (7,24) (8,17) (9,25) (10,27) (11,22) (12,19) (13,18) (14,29) (15,26) 
nodes: 4235  conflicts: 38  modelTime: 658  solveTime: 7517  totalTime: 8181  modelSize: 41293  readTime: 6 size: 14