(1,17) (2,27) (3,19) (5,25) (6,30) (7,24) (8,23) (9,16) (10,29) (11,28) (12,21) (13,22) (14,20) 
nodes: 2658  conflicts: 23  modelTime: 660  solveTime: 3573  totalTime: 4239  modelSize: 41293  readTime: 6 size: 13