(1,29) (2,25) (3,17) (4,22) (6,21) (7,16) (8,12) (9,11) (10,14) (13,24) (15,23) (18,30) (20,28) (26,27) 
nodes: 12877  conflicts: 33  modelTime: 972  solveTime: 54309  totalTime: 55293  modelSize: 72275  readTime: 11 size: 14