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