(2,29) (3,20) (4,21) (5,26) (6,24) (7,27) (8,19) (10,22) (11,17) (12,28) (13,23) (14,16) (15,18) 
nodes: 32974  conflicts: 41  modelTime: 658  solveTime: 54339  totalTime: 55003  modelSize: 41293  readTime: 6 size: 13