(1,10) (2,25) (4,13) (5,16) (6,12) (7,15) (8,19) (11,23) (17,26) (18,29) (20,27) (21,22) (24,30) 
nodes: 34428  conflicts: 80  modelTime: 1711  solveTime: 156587  totalTime: 158314  modelSize: 72263  readTime: 16 size: 13