(1,30) (2,27) (3,25) (4,26) (6,19) (7,29) (8,28) (9,24) (10,23) (11,21) (12,22) (13,16) (14,20) (15,17) 
nodes: 824  conflicts: 34  modelTime: 660  solveTime: 1211  totalTime: 1877  modelSize: 41293  readTime: 6 size: 14