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