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