(1,17) (2,27) (3,16) (5,22) (6,28) (7,30) (8,21) (9,24) (10,19) (11,26) (12,20) (13,25) (15,29) 
nodes: 2575  conflicts: 45  modelTime: 663  solveTime: 5441  totalTime: 6110  modelSize: 41293  readTime: 6 size: 13