(1,11) (2,28) (3,9) (4,10) (5,23) (6,7) (8,19) (12,27) (13,26) (14,21) (15,22) (16,20) (17,29) (18,30) (24,25) 
nodes: 84653  conflicts: 39  modelTime: 1731  solveTime: 351005  totalTime: 352755  modelSize: 72269  readTime: 19 size: 15