(1,26) (2,20) (3,24) (4,16) (5,22) (6,29) (7,30) (8,17) (9,27) (10,28) (11,19) (12,21) (13,18) (14,25) 
nodes: 8711  conflicts: 32  modelTime: 659  solveTime: 12304  totalTime: 12969  modelSize: 41292  readTime: 6 size: 14