(1,23) (2,29) (3,28) (4,7) (5,15) (6,19) (8,27) (9,24) (11,21) (12,20) (13,16) (17,22) (18,25) (26,30) 
nodes: 40737  conflicts: 51  modelTime: 968  solveTime: 128482  totalTime: 129461  modelSize: 72269  readTime: 11 size: 14