(1,24) (2,23) (3,20) (4,26) (5,19) (6,28) (7,18) (8,27) (9,17) (11,16) (12,21) (14,25) (15,29) 
nodes: 1552  conflicts: 55  modelTime: 663  solveTime: 1877  totalTime: 2547  modelSize: 41292  readTime: 7 size: 13