(1,23) (3,17) (4,30) (6,28) (8,27) (9,18) (10,19) (12,26) (13,21) (14,25) (15,16) 
nodes: 865  conflicts: 64  modelTime: 657  solveTime: 835  totalTime: 1499  modelSize: 41293  readTime: 7 size: 11