(1,29) (2,18) (3,25) (4,17) (5,20) (6,16) (7,23) (9,21) (10,19) (11,30) (12,28) (13,26) (14,27) 
nodes: 991  conflicts: 35  modelTime: 688  solveTime: 1854  totalTime: 2549  modelSize: 41293  readTime: 7 size: 13