(1,19) (2,28) (6,24) (7,18) (8,17) (9,22) (10,26) (11,20) (12,25) (13,23) (14,27) 
nodes: 1831  conflicts: 47  modelTime: 665  solveTime: 2533  totalTime: 3205  modelSize: 41293  readTime: 7 size: 11