(1,26) (2,23) (3,28) (4,19) (5,11) (6,9) (7,17) (8,16) (12,25) (13,15) (14,20) (18,29) (21,27) (22,24) 
nodes: 1965  conflicts: 79  modelTime: 1848  solveTime: 9215  totalTime: 11087  modelSize: 72264  readTime: 24 size: 14