(1,19) (2,18) (3,26) (4,17) (5,29) (6,22) (8,27) (9,30) (11,21) (12,24) (13,16) (14,20) (15,25) 
nodes: 3474  conflicts: 39  modelTime: 664  solveTime: 8026  totalTime: 8696  modelSize: 41293  readTime: 6 size: 13