(1,26) (2,30) (3,17) (4,20) (5,23) (6,28) (7,21) (9,22) (10,19) (11,16) (12,18) (13,24) (14,29) 
nodes: 7339  conflicts: 31  modelTime: 663  solveTime: 10842  totalTime: 11511  modelSize: 41298  readTime: 6 size: 13