(1,26) (2,30) (3,16) (4,28) (7,19) (8,25) (11,24) (12,21) (13,22) (14,23) (15,27) 
nodes: 868  conflicts: 63  modelTime: 815  solveTime: 1296  totalTime: 2118  modelSize: 41293  readTime: 7 size: 11