(1,19) (2,30) (3,24) (5,17) (6,29) (8,26) (10,27) (11,20) (12,23) (13,25) (14,16) (15,28) 
nodes: 1357  conflicts: 54  modelTime: 658  solveTime: 1690  totalTime: 2354  modelSize: 41293  readTime: 6 size: 12