(1,25) (2,30) (3,16) (4,17) (5,27) (6,29) (7,19) (8,26) (10,21) (11,20) (12,22) (15,23) 
nodes: 1276  conflicts: 57  modelTime: 658  solveTime: 871  totalTime: 1551  modelSize: 41293  readTime: 22 size: 12