(1,15) (2,16) (3,18) (4,29) (5,11) (6,7) (8,28) (9,21) (10,22) (12,14) (13,27) (17,19) (20,23) (24,25) (26,30) 
nodes: 92814  conflicts: 18  modelTime: 1741  solveTime: 503022  totalTime: 504781  modelSize: 72264  readTime: 18 size: 15