(1,24) (2,27) (4,8) (5,30) (6,9) (11,18) (13,21) (14,29) (15,19) (16,22) (17,26) (20,28) (23,25) 
nodes: 6348  conflicts: 107  modelTime: 1290  solveTime: 26120  totalTime: 27422  modelSize: 72263  readTime: 12 size: 13