(1,20) (4,26) (5,17) (7,27) (8,24) (10,18) (11,16) (12,28) (13,30) (14,23) (15,19) 
nodes: 764  conflicts: 51  modelTime: 671  solveTime: 1087  totalTime: 1764  modelSize: 41293  readTime: 6 size: 11