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