(1,28) (3,9) (5,22) (6,20) (7,15) (8,25) (10,27) (11,18) (12,14) (13,16) (17,29) (19,23) (24,26) 
nodes: 7951  conflicts: 87  modelTime: 1966  solveTime: 32117  totalTime: 34107  modelSize: 72264  readTime: 24 size: 13