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