(1,5) (2,25) (3,13) (4,22) (6,9) (7,21) (8,10) (11,19) (12,15) (14,20) (16,17) (24,27) (29,30) 
nodes: 4629  conflicts: 65  modelTime: 1732  solveTime: 15937  totalTime: 17690  modelSize: 72264  readTime: 21 size: 13