(1,3) (2,25) (4,16) (5,13) (6,27) (7,15) (8,22) (9,18) (10,21) (11,23) (14,26) (19,28) (20,30) 
nodes: 5050  conflicts: 48  modelTime: 2133  solveTime: 18468  totalTime: 20642  modelSize: 72264  readTime: 41 size: 13