(1,7) (2,3) (4,23) (5,27) (6,10) (8,19) (9,11) (12,21) (13,15) (14,29) (16,25) (17,22) (18,24) (20,30) (26,28) 
nodes: 66651  conflicts: 33  modelTime: 1720  solveTime: 161781  totalTime: 163520  modelSize: 72263  readTime: 19 size: 15