(1,28) (2,25) (3,18) (5,22) (6,29) (8,17) (9,27) (10,20) (11,30) (12,19) (13,21) (14,26) (15,23) 
nodes: 4211  conflicts: 50  modelTime: 658  solveTime: 6421  totalTime: 7085  modelSize: 41299  readTime: 6 size: 13