(1,23) (2,26) (3,20) (4,21) (5,22) (6,16) (7,25) (8,28) (10,19) (11,29) (12,17) (14,30) (15,27) 
nodes: 4431  conflicts: 35  modelTime: 656  solveTime: 6767  totalTime: 7429  modelSize: 41298  readTime: 6 size: 13