(1,9) (2,10) (3,17) (4,15) (5,22) (6,7) (8,16) (11,26) (12,19) (13,14) (18,29) (20,28) (21,25) (23,27) 
nodes: 133176  conflicts: 55  modelTime: 1222  solveTime: 531580  totalTime: 532821  modelSize: 72272  readTime: 19 size: 14