(1,10) (2,28) (3,16) (4,25) (5,18) (6,24) (7,17) (8,11) (12,13) (14,19) (15,21) (22,29) (23,26) 
nodes: 13314  conflicts: 66  modelTime: 1592  solveTime: 72838  totalTime: 74450  modelSize: 72262  readTime: 20 size: 13